Implementations of the various languages in "Types and Programming Languages" [Pierce, 2002].
Primary LanguageHaskellMIT LicenseMIT