There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
A model of SystemF written in Haskell, including a simple type checker, pretty printer and parsing tools. For simplicity a De Bruijn encoding is used for variables.