2 ms·
Lambda Calculus Macro `λ!` in Rust
- nixpulvis 7y agoNext step, implement a `normalize` function for an `Expression`. Then syntactic sugar for all the primitive types.
- db48x 7y agoA few critical TODOs, but neat so far :)
- nixpulvis 7y agoYea, how a lot of my ideas go. Thanks.
- nixpulvis 7y agoFWIW, I've moved this macro into https://github.com/nixpulvis/lalrpop-lambda https://github.com/nixpulvis/lalrpop-lambda, and it's got the start of a normalize function.