| .. |
|
Makefile
|
f6cab16f05
tidied the code and added more peano tests.
|
%!s(int64=8) %!d(string=hai) anos |
|
arith-2.scm
|
ddbc2098de
added more tests
|
%!s(int64=8) %!d(string=hai) anos |
|
free-group.scm
|
4287b3f7e2
added another test
|
%!s(int64=8) %!d(string=hai) anos |
|
klop.scm
|
1f72ae65be
combinator logic
|
%!s(int64=8) %!d(string=hai) anos |
|
logic-1.scm
|
fc566f5f88
term rewrite system based on a pattern matching backend
|
%!s(int64=8) %!d(string=hai) anos |
|
peano.scm
|
f6cab16f05
tidied the code and added more peano tests.
|
%!s(int64=8) %!d(string=hai) anos |
rain1
4287b3f7e2
added another test