Please enable JavaScript in your browser!
Sākums
Izpētīt
Palīdzība
Pierakstīties
rain1
/
term-rewrite-system
Vērot
1
Pievienot zvaigznīti
0
Atdalīts
0
Faili
Problēmas
0
Izmaiņu pieprasījumi
0
Vikivietne
Nav apraksta
8
Revīzijas
1
Atzari
0
Laidieni
Atzars:
master
Atzari
Tagi
master
term-rewrite...
HTTPS
SSH
ZIP
TAR.GZ
rain1
1acd82b7af
chez
8 gadi atpakaļ
chez-trs
1acd82b7af
chez
8 gadi atpakaļ
tests
4287b3f7e2
added another test
9 gadi atpakaļ
trs
f6cab16f05
tidied the code and added more peano tests.
9 gadi atpakaļ
.gitignore
9feb66c2ed
git ignore file
9 gadi atpakaļ
LICENSE
27beb9eb18
Init commit
9 gadi atpakaļ
README.md
fc566f5f88
term rewrite system based on a pattern matching backend
9 gadi atpakaļ
README.md
term-rewrite-system
ln -s ../repos/term-rewrite-system/trs/ .