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 년 전