caryoscelus/agda

Auteur	SHA1 Message	Date
Nils Anders Danielsson	c5b859575b Horizontal tab characters are no longer treated as white space.	il y a 16 ans
ulfn	d573fd0c4b added fixity declarations to make some test cases go through	il y a 18 ans
ulfn	bc36c49b2d minor format change	il y a 18 ans
ulfn	4635fa607a Introductory examples	il y a 18 ans