[Hs-Generics] patch applied (generics): Further simplifications in CrushRight for LIGD and EMGM, as per RepLib paper section 5

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Tue Feb 12 14:12:19 EST 2008

Previous message: [Hs-Generics] patch applied (generics): Simplification of representation of arity two
Next message: [Hs-Generics] patch applied (generics): CrushRight working for RepLib, not very satisfactory though.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Tue Feb 12 09:45:49 PST 2008  Alexey Rodriguez <alexey at cs.uu.nl>
  * Further simplifications in CrushRight for LIGD and EMGM, as per RepLib paper section 5

    M ./comparison/EMGM/CrushRight.lhs -20 +20
    M ./comparison/LIGD/CrushRight.lhs -23 +24

Previous message: [Hs-Generics] patch applied (generics): Simplification of representation of arity two
Next message: [Hs-Generics] patch applied (generics): CrushRight working for RepLib, not very satisfactory though.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list