dan-iel-lee/cis552-final-project

A Haskell type checker based on GHC, with Quick Look for (limited) impredicativity.