caryoscelus/agda

Автор	SHA1 Сообщение	Дата
ulfn	76730c04f7 fixed broken benchmark examples	10 лет назад
ulfn	c9ae0656cf made some changes to accomodate the new level representation	13 лет назад
Nils Anders Danielsson	48473b335d An example that should arguably typecheck faster.	15 лет назад