[Hs-Generics] patch applied (generics): RmWeights RepLib fixes

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

Previous message: [Hs-Generics] patch applied (generics): RmWeights SYB1_2 updated
Next message: [Hs-Generics] patch applied (generics): RmWeights Uniplate updates (general def. still missing)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Sat Feb 16 09:53:52 PST 2008  patrikj at chalmers.se
  * RmWeights RepLib fixes

    M ./comparison/RepLib/RmWeights.lhs -11 +3
    M ./comparison/log.txt -1

Previous message: [Hs-Generics] patch applied (generics): RmWeights SYB1_2 updated
Next message: [Hs-Generics] patch applied (generics): RmWeights Uniplate updates (general def. still missing)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list