caryoscelus/agda

Аутор	SHA1 Порука	Датум
Andrés Sicard-Ramírez	dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.	пре 10 година
Nils Anders Danielsson	c5b859575b Horizontal tab characters are no longer treated as white space.	пре 15 година
ulfn	0eb15ccd13 benchmarking	пре 17 година