[Hs-Generics] patch applied (generics): Small edit on RepLib's crushRight

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Tue Feb 12 14:12:22 EST 2008

Previous message: [Hs-Generics] patch applied (generics): CrushRight working for RepLib, not very satisfactory though.
Next message: [Hs-Generics] patch applied (generics): Universe extension tests and separate compilation test
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Tue Feb 12 11:09:31 PST 2008  Alexey Rodriguez <alexey at cs.uu.nl>
  * Small edit on RepLib's crushRight

    M ./comparison/RepLib/CrushRight.lhs -3 +1

Previous message: [Hs-Generics] patch applied (generics): CrushRight working for RepLib, not very satisfactory though.
Next message: [Hs-Generics] patch applied (generics): Universe extension tests and separate compilation test
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list