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 лет назад