Finished
July 2018 - August 2018
Language
Framework
  • pest
Link
Tags
No project stats (yet)
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.