git.iko.soy/Idris-dev
on master help sign in
Expect test1 before test2
fa6e061Steven Shaw
test/dsl003/expected+1−1
compare with master
unifiedsplit
@@ -1,2 +1,2 @@
1−ForAll INT (ForAll INT (ItHolds (Var (FS FZ) === Var FZ))) : Spec []
2Refl : ARR BOOL (ARR INT UNIT) = ARR BOOL (ARR INT UNIT)
1Refl : ARR BOOL (ARR INT UNIT) = ARR BOOL (ARR INT UNIT)
2+ForAll INT (ForAll INT (ItHolds (Var (FS FZ) === Var FZ))) : Spec []