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