Exercises from the "Modern Compiler Implementation in ML" book, done in OCaml and Haskell.