7.8 Release Update
aseipp at pobox.com
Mon Sep 9 17:23:54 CEST 2013
On Mon, Sep 9, 2013 at 7:40 AM, Richard Eisenberg <eir at cis.upenn.edu> wrote:
> On Sep 8, 2013, at 7:27 PM, Austin Seipp <aseipp at pobox.com> wrote:
>> * Pedro and Richard - what's the story on propositional equality,
>> etc? This is mentioned on the status page but I'm not sure what
>> else needs to be done. I know Pedro committed the work to make manual
>> Typeable instances an error, which is great.
> This work is complete and has been pushed for some time -- just haven't gotten around to updating the release notes. I'll get to it today.
Austin - PGP: 4096R/0x91384671
More information about the Glasgow-haskell-users