[Hs-Generics] patch applied (generics): NGRose is not representable in EMGM either.

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Fri Feb 1 10:37:50 EST 2008


Fri Feb  1 06:39:28 PST 2008  Alexey Rodriguez <alexey at cs.uu.nl>
  * NGRose is not representable in EMGM either.

    M ./comparison/EMGM/GEq.lhs +5


More information about the Generics mailing list