Modern Compiler Implementation in ML by Andrew W. Appel.
This is a Haskell-based implementation of the Tiger (toy) programming language, with the goal of being fully compliant with the author's test suite.
For now, this implementation is wildly incomplete.
stack build && stack exec run-tigerstack test