[Hs-Generics] patch applied (generics): UpdateSalary LIGD updated

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Thu Feb 21 10:01:49 EST 2008

Previous message: [Hs-Generics] patch applied (generics): UpdateSalary EMGM updated
Next message: [Hs-Generics] patch applied (generics): UpdateSalary SYB1_2 updated
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Sat Feb 16 04:45:43 PST 2008  patrikj at chalmers.se
  * UpdateSalary LIGD updated

    M ./comparison/LIGD/Paradise.lhs -21 +5

Previous message: [Hs-Generics] patch applied (generics): UpdateSalary EMGM updated
Next message: [Hs-Generics] patch applied (generics): UpdateSalary SYB1_2 updated
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list