[Haskell-cafe] Test cases for type inference

Peter Verswyvelen bugfact at gmail.com
Tue Oct 20 10:07:12 EDT 2009

For learning, I would like to develop my own implementation of type
inference, based on the paper "Typing Haskell in Haskell".

At first sight, the source code of THIH contains a small number of
tests, but I was wandering if a large test set exist?


More information about the Haskell-Cafe mailing list