caryoscelus/agda

Autor	SHA1 Zpráva	Datum
Nils Anders Danielsson	c5b859575b Horizontal tab characters are no longer treated as white space.	před 15 roky
ulfn	f7db0ca658 working coverage checker	před 17 roky
ulfn	28dd567351 removed special lexing rules for : (x:A is now a valid name)	před 17 roky
ulfn	9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)	před 18 roky
ulfn	ea4930ab12 ac rewriting (internal) tactic	před 18 roky