caryoscelus/agda

作者	SHA1 备注	提交日期
Nils Anders Danielsson	c5b859575b Horizontal tab characters are no longer treated as white space.	16 年之前
ulfn	d573fd0c4b added fixity declarations to make some test cases go through	18 年之前
ulfn	bc36c49b2d minor format change	18 年之前
ulfn	4635fa607a Introductory examples	18 年之前