caryoscelus/agda

Автор	SHA1 Съобщение	Дата
Andrés Sicard-Ramírez	a2048ec740 [ examples ] Added some untested examples.	преди 9 години
Nils Anders Danielsson	683294dfbe Updated test suite to avoid clashes with new reserved words (∀, λ and →).	преди 16 години
andreas.abel	6b8c52df69 termination-examples	преди 17 години