Index of /code.haskell.org/Agda/test/epic/tests/
../
bin/ 15-Feb-2019 15:19 -
Arith.agda 15-Feb-2019 15:19 394
Arith.out 15-Feb-2019 15:18 6
Cat.agda 15-Feb-2019 15:18 8302
Cat.out 15-Feb-2019 15:18 37
Coind.agda 15-Feb-2019 15:18 911
Coind.out 15-Feb-2019 15:18 33
Forcing.agda 15-Feb-2019 15:18 1073
Forcing.out 15-Feb-2019 15:19 12
Forcing2.agda 15-Feb-2019 15:19 852
Forcing2.out 15-Feb-2019 15:18 4
Forcing3.agda 15-Feb-2019 15:18 1340
Forcing3.out 15-Feb-2019 15:18 7
Forcing4.agda 15-Feb-2019 15:18 1956
Forcing4.out 15-Feb-2019 15:18 12
Literals.agda 15-Feb-2019 15:18 469
Literals.out 15-Feb-2019 15:18 12
Mutual.agda 15-Feb-2019 15:19 749
Mutual.out 15-Feb-2019 15:19 46
PrintBool.agda 15-Feb-2019 15:18 787
PrintBool.out 15-Feb-2019 15:18 24
String.agda 15-Feb-2019 15:18 535
String.out 15-Feb-2019 15:18 114