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 години |