Andrés Sicard-Ramírez
|
a2048ec740
[ examples ] Added some untested examples.
|
8 tahun lalu |
Nils Anders Danielsson
|
683294dfbe
Updated test suite to avoid clashes with new reserved words (∀, λ and →).
|
16 tahun lalu |
andreas.abel
|
6b8c52df69
termination-examples
|
17 tahun lalu |