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 роки тому