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