lalrpop-lambda
lalrpop-lambda copied to clipboard
nixpulvis
A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
https://en.wikipedia.org/w/index.php?title=Lambda_calculus#Standard_terms
Disallowing leading numbers from [terminal identifiers](https://github.com/nixpulvis/lalrpop-lambda/issues/3) and using them instead for parsing [De Bruijn indices](https://en.wikipedia.org/wiki/De_Bruijn_index) directly should be supported. This will allow parsing `λ λ λ 3 1 (2 1)`...
To allow for parsing filename like identifiers, e.g. `\x.x (less foo.rs)` we need to split the definition of the identifier for the argument and the freestanding `Var`, even if under...
The variable type should contain a `usize` instead of a `String` for it's identifier. These are called [De Bruijn indices](https://en.wikipedia.org/wiki/De_Bruijn_index). This technique will return alpha equivalent correct normalization, however it...