Hello, everyone!

As someone on #haskell-gsoc IRC suggested, I would like to post my proposal. Please, if you have time, read it and send me your thoughts. Thanks! Here is the link: