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