#lambda-calculus #interpreter #evaluation #front-end

nightly app lcrs

A Lambda Calculus Interpreter written in Rust

2 releases

0.1.1 Dec 29, 2023
0.1.0 Dec 29, 2023

#1022 in Math

32 downloads per month

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