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.
Primary LanguageHaskellGNU Lesser General Public License v3.0LGPL-3.0