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