Dependent Types Assignment 2b

Ignore these instructions if you finished and submitted your evaluator in assignment 2.

You'll implement an evaluator for untyped lambda calculus with integers and addition.

1. I provide a skeleton of the evaluator in Haskell and Racket. You may choose any language at all to implement your evaluator, but these files may provide a starting point.
2. Submit your evaluator implementation, as a .zip archive with all files on Gradescope. Include a README.md file that tells me how to compile and/or run your evaluator.

Gradescope Submission link https://www.gradescope.ca/courses/11611/assignments/58563

Parts of this assignment are written by David Christiansen and used with permission.