lcrs
| Crates.io | lcrs |
| lib.rs | lcrs |
| version | 0.1.1 |
| source | src |
| created_at | 2023-12-29 04:39:45.606482 |
| updated_at | 2023-12-29 05:18:54.51834 |
| description | A Lambda Calculus Interpreter written in Rust. |
| homepage | |
| repository | https://github.com/alpaylan/lcrs |
| max_upload_size | |
| id | 1082965 |
| size | 13,571 |
Alperen Keleş (alpaylan)
documentation
README
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.