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