| .. |
|
Bool.agda
|
1a229e26b4
[ MAlonzo ] give proper errors if there are multple COMPILED pragmas for the same name
|
%!s(int64=9) %!d(string=hai) anos |
|
Eq.agda
|
36aa8dc5c3
Fixed issue 246.
|
%!s(int64=14) %!d(string=hai) anos |
|
Fin.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
%!s(int64=10) %!d(string=hai) anos |
|
IO.agda
|
b56b3965a6
[ backend ] updated compiler pragmas in test cases
|
%!s(int64=8) %!d(string=hai) anos |
|
Id.agda
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
%!s(int64=10) %!d(string=hai) anos |
|
List.agda
|
b56b3965a6
[ backend ] updated compiler pragmas in test cases
|
%!s(int64=8) %!d(string=hai) anos |
|
Logic.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
%!s(int64=10) %!d(string=hai) anos |
|
Maybe.agda
|
b56b3965a6
[ backend ] updated compiler pragmas in test cases
|
%!s(int64=8) %!d(string=hai) anos |
|
Monad.agda
|
36aa8dc5c3
Fixed issue 246.
|
%!s(int64=14) %!d(string=hai) anos |
|
Nat.agda
|
d05260528c
[ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC
|
%!s(int64=11) %!d(string=hai) anos |
|
Prelude.agda
|
b56b3965a6
[ backend ] updated compiler pragmas in test cases
|
%!s(int64=8) %!d(string=hai) anos |
|
Vec.agda
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
%!s(int64=10) %!d(string=hai) anos |
Ulf Norell
b56b3965a6
[ backend ] updated compiler pragmas in test cases