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 年之前