git.iko.soy/Idris-dev
on master help sign in
Fix expected output for test024
51fbc35David Christiansen
test/test024/expected+3−2
compare with master
unifiedsplit
@@ -1,2 +1,3 @@
1−Type checking ./test022.idr
1+Type checking ./test024.idr
2−0.9995736030415051 : Float
2+() : ()
3+testtest