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 роки тому