caryoscelus/agda

Auteur	SHA1 Bericht	Datum
Andrés Sicard-Ramírez	dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.	10 jaren geleden
Nils Anders Danielsson	c5b859575b Horizontal tab characters are no longer treated as white space.	15 jaren geleden
ulfn	0eb15ccd13 benchmarking	17 jaren geleden