git.iko.soy/Idris-dev
on 91eecdb 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)