Thanks to Reid and Thomas

[William Knop]

Onward and upward! Those who are dedicated to getting things done on a day to day basis-- you have done a great service for us all and I can't properly express my appreciation. Making GHC sensible to the the rest of us is so important.

Those who presented have enlightened and excited. I especially look forward to the confluence of automated static complexity analysis and super compilation, as well as the ideas surrounding "levity" in dependent type theory. I idly wonder about how the ideas from homotopy type theory WRT cubical sets might fit in. Truly interesting stuff.

Cheers and thank you for your hard work,
Will


> On Sep 7, 2015, at 4:17 AM, Simon Peyton Jones <simonpj at microsoft.com> wrote:
> 
> Thomas, Reid,
>  
> As I get back from ICFP, I’d like to take the opportunity to thank you for huge amount of work that you two personally have put into GHC recently.   Your interventions are always thoughtful, supportive, and on target.
> 
> GHC is a huge project, and lots of people contribute to it.  I am truly grateful to all of them.  But you two have been particularly active in the last year and I wanted to say thank you.
>  
> Onward and upward,
>  
> Simon
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20150907/d02bdccf/attachment-0001.html>