Thanks Richard! On Mon, Sep 9, 2013 at 7:40 AM, Richard Eisenberg <e...@cis.upenn.edu> wrote: > > On Sep 8, 2013, at 7:27 PM, Austin Seipp <ase...@pobox.com> 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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
