nixpulvis/lalrpop-lambda

A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.

121 best points · 76 comments · 1 Hacker News post · 85 GitHub stars · View on GitHub

Hacker News discussions

• Rust, Macros, λ-calculus/Church numerals, oh my (121 points, 76 comments, by nixpulvis, 2019-06-08)