Inicio Explorar Ayuda
Iniciar sesión
rain1
/
term-rewrite-system
Seguir 1
Destacar 0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki

Sin descripción

Rama: master
Ramas Etiquetas
term-rewrite...
ZIP TAR.GZ
rain1 1acd82b7af chez hace 8 años
chez-trs 1acd82b7af chez hace 8 años
tests 4287b3f7e2 added another test hace 8 años
trs f6cab16f05 tidied the code and added more peano tests. hace 8 años
.gitignore 9feb66c2ed git ignore file hace 8 años
LICENSE 27beb9eb18 Init commit hace 8 años
README.md fc566f5f88 term rewrite system based on a pattern matching backend hace 8 años

README.md

term-rewrite-system

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