Proxy and new-typeable
eir at cis.upenn.edu
Thu Apr 18 20:56:14 CEST 2013
Oops. I had updated this page [http://hackage.haskell.org/trac/ghc/wiki/TypeLevelReasoning] with details but forgot to advertise. Pedro and I are scheduled to discuss next week, and I do hope that this get implemented/committed before April is out.
On Apr 18, 2013, at 11:54 AM, Ben Gamari wrote:
> Simon Peyton-Jones <simonpj at microsoft.com> writes:
>> I believe that Richard Eisenberg and Pedro Magalhaes are going to make
>> a concrete proposal. Maybe it's identical to yours. Pedro, Richard?
> Pedro and Richard,
> Any news on a proposal? I think we all agree that this should be
> considered a blocker for the 7.8 release.
> - ben
More information about the Libraries