Hi I did a Web application for the visualization of the type inference process for the Simple Type System and pure ML. You can "play" with it at:
http://www.ncc.up.pt/typetool I think it can be useful to Haskell programmers. Comments are welcome, Best regards Hugo Simões _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
