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 години