# CSCI B522 Homework 2r (Fall 2009)

##
Due 11:59pm Friday, October 9, 2009

The file lam.ml should be submitted here.
Please select hw2r when submitting.

### Assignment

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).

Last modified: Tue Oct 6 17:55:26 EDT 2009