Please enable JavaScript in your browser!
Головна сторінка
Огляд
Довідка
Увійти
rain1
/
term-rewrite-system
Слідкувати
1
Зірка
0
Відгалуження
0
Файли
Проблеми
0
Запити на злиття
0
Wiki
Гілка:
master
Гілки
Теги
master
term-rewrite...
/
trs
rain1
f6cab16f05
tidied the code and added more peano tests.
8 роки тому
..
examples.scm
f6cab16f05
tidied the code and added more peano tests.
8 роки тому
trs.scm
f6cab16f05
tidied the code and added more peano tests.
8 роки тому
utilities.scm
f6cab16f05
tidied the code and added more peano tests.
8 роки тому