Loreon
Labs
Platform
Docs
Home
Ecosystems
Rust
lambda-calc
Lambda calculus PL
Rust
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
12d ago
Recent commits
Latest commits.
test: add reducer tests
f44afcc
marcg
12d ago
impl Reducer
6d4c70a
marcg
12d ago
test: add some simple tests
d63e79f
marcg
12d ago
feat(Expr): make Lambda store backedge to its BoundVar
22c3110
marcg
12d ago
refactor(App): hold Box not Rc
7da0bd4
marcg
13d ago
style: remove unused imports
48f2faa
marcg
13d ago
refactor(BoundVar): share lambda ref across instances
599fa5a
marcg
13d ago
fix(Parser): short-circuit error
890fda1
marcg
13d ago
Top contributors
Builders behind this project.
marcg03
19 commits
