Почетна Преглед Помоћ
Пријавите се
rain1
/
term-rewrite-system
Прати 1
Волим 0
Креирај огранак 0
Датотеке Дискусије 0 Захтеви за спајање 0 Вики

Нема описа

Дрво: 1acd82b7af
Гране Ознаке
term-rewrite...
ZIP TAR.GZ
rain1 1acd82b7af chez пре 8 година
chez-trs 1acd82b7af chez пре 8 година
tests 4287b3f7e2 added another test пре 8 година
trs f6cab16f05 tidied the code and added more peano tests. пре 8 година
.gitignore 9feb66c2ed git ignore file пре 8 година
LICENSE 27beb9eb18 Init commit пре 8 година
README.md fc566f5f88 term rewrite system based on a pattern matching backend пре 8 година

README.md

term-rewrite-system

ln -s ../repos/term-rewrite-system/trs/ .