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? Thanks, Peter _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe