project according to the book modern compiler implementation in ML - View it on GitHub