Re: 7.8 Release Update

Thanks Richard! On Mon, Sep 9, 2013 at 7:40 AM, Richard Eisenberg wrote:

On Sep 8, 2013, at 7:27 PM, Austin Seipp wrote:

...

* Pedro and Richard - what's the story on propositional equality, etc? This is mentioned on the status page[1] 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.

Thanks, Richard

-- Regards, Austin - PGP: 4096R/0x91384671