Tiger This is an OCaml implementation of a compiler for the toy language described in Modern Compiler Implementation in ML, by Andrew W. Appel.