git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/dsl003/expected
2 lines 126 B history raw
1ForAll INT (ForAll INT (ItHolds (Var (FS FZ) === Var FZ))) : Spec []
2Refl : ARR BOOL (ARR INT UNIT) = ARR BOOL (ARR INT UNIT)