2 releases
0.1.1 | Dec 29, 2023 |
---|---|
0.1.0 | Dec 29, 2023 |
#1174 in Math
14KB
364 lines
A Lambda Calculus Interpreter Written in Rust
I'm following the Lectures Notes on the Lambda Calculus by Peter Selinger. The hope is to follow through the rest of the notes, add more features and extensions as I go through them. Later, I may also implement a front-end that will be compiled to Lambda Calculus for evaluation.