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 <[email protected]> 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 > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
