rain1/term-rewrite-system

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 年之前