[Hs-Generics] patch applied (generics): GMap SYB1_2 clarified that gmap cannot be defined

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

Previous message: [Hs-Generics] patch applied (generics): GMap Spine done (failing test)
Next message: [Hs-Generics] patch applied (generics): GMap RepLib: only comment (comp.error. Alex working on it, I guess)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Fri Feb 15 02:50:15 PST 2008  patrikj at chalmers.se
  * GMap SYB1_2 clarified that gmap cannot be defined

    M ./comparison/SYB1_2/GMap.lhs -4 +4

Previous message: [Hs-Generics] patch applied (generics): GMap Spine done (failing test)
Next message: [Hs-Generics] patch applied (generics): GMap RepLib: only comment (comp.error. Alex working on it, I guess)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list