caryoscelus/agda

作者	SHA1 備註	提交日期
Nils Anders Danielsson	c5b859575b Horizontal tab characters are no longer treated as white space.	15 年之前
ulfn	f7db0ca658 working coverage checker	17 年之前
ulfn	28dd567351 removed special lexing rules for : (x:A is now a valid name)	17 年之前
ulfn	9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)	18 年之前
ulfn	ea4930ab12 ac rewriting (internal) tactic	18 年之前