Simon Peyton Jones simonpj at microsoft.com
Thu Dec 24 15:11:31 UTC 2015

Jan, Richard
I’ve spent much of today working on the generalised-injectivity branch
I’ve done a lot of refactoring: you could to worse than start with Note [Injectivity information] in TyCon, and the data types that follow.
Not finished, but making progress
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151224/4fcc36e1/attachment.html>

More information about the ghc-devs mailing list