 rain1
|
1acd82b7af
chez
|
8 years ago |
|
rain1
|
4287b3f7e2
added another test
|
9 years ago |
|
rain1
|
f6cab16f05
tidied the code and added more peano tests.
|
9 years ago |
|
rain1
|
1f72ae65be
combinator logic
|
9 years ago |
|
rain1
|
9feb66c2ed
git ignore file
|
9 years ago |
|
rain1
|
ddbc2098de
added more tests
|
9 years ago |
|
rain1
|
fc566f5f88
term rewrite system based on a pattern matching backend
|
9 years ago |
|
rain1
|
27beb9eb18
Init commit
|
9 years ago |
