nixpulvis/lalrpop-lambda
View on GitHub ↗ ★ 85 Rust
A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
4 mentions on Hacker News by 3 people: 1 story, 3 comments · first 2019-06-06 · latest 2019-06-08
20082026
-
▲ 121
Rust, Macros, λ-calculus/Church numerals, oh mystory by nixpulvis · 2019-06-08 · 76 comments