caryoscelus/agda

Автор	SHA1 Опис	Дата
Andrés Sicard-Ramírez	a2048ec740 [ examples ] Added some untested examples.	8 роки тому
Nils Anders Danielsson	683294dfbe Updated test suite to avoid clashes with new reserved words (∀, λ and →).	16 роки тому
andreas.abel	6b8c52df69 termination-examples	17 роки тому