[Hs-Generics] patch applied (generics): GL GRose equality

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Wed Jun 13 08:58:56 EDT 2007

Previous message: [Hs-Generics] patch applied (generics): Added comparison/PolyP/PolyLib
Next message: [Hs-Generics] patch applied (generics): Trimming whitespace (no semantic change)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Wed Jun 13 04:50:53 PDT 2007  agerdes at mac.com
  * GL GRose equality

    M ./comparison/GL/GEq.lhs -1 +3

Previous message: [Hs-Generics] patch applied (generics): Added comparison/PolyP/PolyLib
Next message: [Hs-Generics] patch applied (generics): Trimming whitespace (no semantic change)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list