Unfinished.
Just a backup in case my laptop melts.
Will perhaps someday be a lambda calculus toolkit in pure Ruby.
Finished:
- Expression AST
- Expression parsers and formatters (BLC, De Bruijn, my own)
- Save and read BLC
Todo:
- Cache/lookup
- Reduction
This repository was archived by the owner on May 4, 2018. It is now read-only.