/typing

Haskell implementation of some interpreters from "Types and Programming Languages" by Benjamin C. Pierce

Primary LanguageHaskell

Stargazers