 rain1
|
f6cab16f05
tidied the code and added more peano tests.
|
vor 9 Jahren |
|
rain1
|
1f72ae65be
combinator logic
|
vor 9 Jahren |
|
rain1
|
ddbc2098de
added more tests
|
vor 9 Jahren |
|
rain1
|
fc566f5f88
term rewrite system based on a pattern matching backend
|
vor 9 Jahren |
