The file lam.ml should be submitted here. Please select hw2r when submitting.
You can redo the following parts of HW2, problem 3 (for 80% credit): (1) the implementation of subst (capture-avoiding substitution) and (2) the implementation of eval (big-step operational semantics for the lambda calculus).