[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

Previous message: [Hs-Generics] patch applied (generics): RepLib does not support GRose & NGRose
Next message: [Hs-Generics] patch applied (generics): Simplified NGRose test a bit, but it is still as demanding to implement
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [Hs-Generics] patch applied (generics): RepLib does not support GRose & NGRose
Next message: [Hs-Generics] patch applied (generics): Simplified NGRose test a bit, but it is still as demanding to implement
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list