 Andrés Sicard-Ramírez
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 سال پیش |
 ulfn
|
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
13 سال پیش |
 james
|
d25121eee9
declare-before-use mutual definitions (AIM XIV)
|
13 سال پیش |
|
ulfn
|
f06402b73b
disabled Prop
|
14 سال پیش |
|
ulfn
|
e572246ea9
preliminary support for a rewrite construct
|
15 سال پیش |
 Nils Anders Danielsson
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 سال پیش |
 ulfn
|
bbd2eeb6ed
changed name of checking disabling flags
|
17 سال پیش |
|
ulfn
|
f7db0ca658
working coverage checker
|
17 سال پیش |
|
ulfn
|
a64e24d7f9
report error on non-existing names in fixity declarations
|
17 سال پیش |
 Nils Anders Danielsson
|
e628329451
Added --dont-termination-check pragma.
|
18 سال پیش |
|
ulfn
|
28dd567351
removed special lexing rules for : (x:A is now a valid name)
|
18 سال پیش |
|
ulfn
|
9485444ae0
major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)
|
18 سال پیش |
|
ulfn
|
ff2ccf61c4
checking that metas have been solved (only batch mode)
|
18 سال پیش |
|
ulfn
|
d592abbf2d
minor fixes in examples
|
18 سال پیش |
|
ulfn
|
e4eddb55cf
example updates
|
18 سال پیش |
|
ulfn
|
a68c9f9e27
examples
|
19 سال پیش |
