Commit History

Автор 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 години