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

12 Feb 2008


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

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

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

Alexey Rodriguez Yakushev