Summer of Code

http://code.google.com/soc/haskell/about.html

Implement a better type checker for Yhc

by Mathieu Boespflug, mentored by Malcolm Wallace

Here's hoping for a better type checker!