rustlambda

A parser and evaluator for the lambda calculus written in Rust

Goals

[-] A functioning repl
[-] Tests
[ ] Lazier strategy?
[ ] Not reducing from the root every time
[ ] Better parser
- [ ] Semicolons -> Newlines, indentation based definitions
- [ ] Unicode support
[X] Print refactor
[X] Linear optimnization
[X] Do names already
[X] Stats
[X] Fix parsing

Name	Name	Last commit message	Last commit date
Latest commit History 84 Commits
benches		benches
res		res
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.org		README.org