mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-23 06:57:15 +03:00
3 lines
126 B
Plaintext
3 lines
126 B
Plaintext
ForAll INT (ForAll INT (ItHolds (Var (fS fZ) === Var fZ))) : Spec []
|
|
refl : ARR BOOL (ARR INT UNIT) = ARR BOOL (ARR INT UNIT)
|