#lambda-calculus #interpreter #evaluation

nightly app lcrs

A Lambda Calculus Interpreter written in Rust

2 releases

0.1.1 Dec 29, 2023
0.1.0 Dec 29, 2023

#1174 in Math

MIT license

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.

No runtime deps