CoPL My answers to exercises from CoPL E-Learning and ML interpreter / type inference implemented in OCaml.