rain1/term-rewrite-system @ 1acd82b7af7aedc0e6732692e788b550eb6f1e59

rain1 4287b3f7e2 added another test		8 yıl önce
..
Makefile	f6cab16f05 tidied the code and added more peano tests.	8 yıl önce
arith-2.scm	ddbc2098de added more tests	8 yıl önce
free-group.scm	4287b3f7e2 added another test	8 yıl önce
klop.scm	1f72ae65be combinator logic	8 yıl önce
logic-1.scm	fc566f5f88 term rewrite system based on a pattern matching backend	8 yıl önce
peano.scm	f6cab16f05 tidied the code and added more peano tests.	8 yıl önce