Finished
  • pest
About

In my first master year I got an assignment for the course 'Fundamentals of programming' to write an interpreter for the simply typed lambda calculus, extended with records, variants and recursion. There was complete freedom on how to implement this interpreter. As I had just discovered and started learning Rust a few months back I saw this as a great oppurtunity to get some practice.

So I made lambda-rs, a lambda interpreter written in Rust using the pest crate. Afterwards I released it with an MIT license.