[Hs-Generics] patch applied (generics): NGRoseReps added and made NGRose to work under EMGM

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Mon Feb 4 10:24:36 EST 2008

Previous message: [Hs-Generics] patch applied (generics): Print more test info, minor renaming towards paper usage, test overview.
Next message: [Hs-Generics] patch applied (generics): Some renaming to match paper + added some comments
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Mon Feb  4 07:12:10 PST 2008  Alexey Rodriguez <alexey at cs.uu.nl>
  * NGRoseReps added and made NGRose to work under EMGM

    M ./comparison/EMGM/GEq.lhs -3 +9
    A ./comparison/EMGM/NGRoseReps.hs

Previous message: [Hs-Generics] patch applied (generics): Print more test info, minor renaming towards paper usage, test overview.
Next message: [Hs-Generics] patch applied (generics): Some renaming to match paper + added some comments
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list