[Hs-Generics] patch applied (generics): RmWeights implementation for Spine.

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Thu Feb 21 07:54:54 EST 2008

Previous message: [Hs-Generics] patch applied (generics): make gshowExt for SYB1_2 (see SYB1_2/GShowExt.lhs for explanation)
Next message: [Hs-Generics] patch applied (generics): Allowing cheating for LIGD and Spine in ad-hoc cases for constructors
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Wed Feb 20 12:46:34 PST 2008  alex at cs.uu.nl
  * RmWeights implementation for Spine.

    A ./comparison/Spine/RmWeights.lhs

Previous message: [Hs-Generics] patch applied (generics): make gshowExt for SYB1_2 (see SYB1_2/GShowExt.lhs for explanation)
Next message: [Hs-Generics] patch applied (generics): Allowing cheating for LIGD and Spine in ad-hoc cases for constructors
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list