| Hand-Written Assignment 1 (HW1) |
The purpose of this HW is to test your understanding of
- the order of evaluation of expressions in OCaml;
- the scope of variables, and the state of environments used
during evaluation
- how to use typing rules to perform type derivations in
simplified OCaml
|
|
|