rain1/term-rewrite-system @ 1acd82b7af7aedc0e6732692e788b550eb6f1e59

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