| .. |
|
AC.agda
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
9 роки тому |
|
Bool.agda
|
0eb15ccd13
benchmarking
|
17 роки тому |
|
EqProof.agda
|
92e00abddf
[ bench ] Fixed operator fixity bug.
|
9 роки тому |
|
Example.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 роки тому |
|
Fin.agda
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 роки тому |
|
List.agda
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 роки тому |
|
Logic.agda
|
0eb15ccd13
benchmarking
|
17 роки тому |
|
Makefile
|
4ceb342310
make: Use AGDA_BIN a little more consistently
|
4 роки тому |
|
Nat.agda
|
76730c04f7
fixed broken benchmark examples
|
10 роки тому |
|
Vec.agda
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 роки тому |
Robert Estelle
4ceb342310
make: Use AGDA_BIN a little more consistently