Academic System F implementation in Haskell, based on the Types and Programming Languages book by B. C. Pierce.
On some platforms, testpack or QuickCheck has to be installed (for exception assertions) as well. On other platforms, this is already part of HUnit.
- Start ghci through terminal
- Load the source file: :l systemf.hs
- Run the tests: run