[Hs-Generics] patch applied (generics): GMap for EMGM updated

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Fri Feb 15 09:57:21 EST 2008

Previous message: [Hs-Generics] patch applied (generics): GMap LIGD recoded
Next message: [Hs-Generics] patch applied (generics): GMap PolyP minor updates
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Fri Feb 15 02:24:04 PST 2008  patrikj at chalmers.se
  * GMap for EMGM updated

    M ./comparison/EMGM/GMap.lhs -20 +7
    A ./comparison/EMGM/GMapDef.lhs

Previous message: [Hs-Generics] patch applied (generics): GMap LIGD recoded
Next message: [Hs-Generics] patch applied (generics): GMap PolyP minor updates
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list