| Hand-Written Assignment 2 (HW2) |
|
The purpose of HW2 is to test your understanding of how to unify a
system of equations, how to perform type derivations in
simplified OCaml, how to use regular expressions and finite state automata to
formally express sets of strings (called languages) given by
an English language description.
|
|
|