caryoscelus/agda

Autor	SHA1 Wiadomość	Data
Andrés Sicard-Ramírez	dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.	10 lat temu
Nils Anders Danielsson	c5b859575b Horizontal tab characters are no longer treated as white space.	15 lat temu
ulfn	0eb15ccd13 benchmarking	17 lat temu