بدون توضیح

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 سال پیش

term-rewrite-system

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