GitHub repository: nixpulvis/lalrpop-lambda
Primary language: Rust
Description: A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.