[Hs-Generics] patch applied (generics): Removed rests of LIGD-style CrushRight from RepLib

17 Mar 2008


      Mon Mar 17 05:54:01 PDT 2008  Alexey Rodriguez <mrchebas@gmail.com>
  * Removed rests of LIGD-style CrushRight from RepLib

    M ./comparison/RepLib/CrushRight.lhs -55

[Hs-Generics] patch applied (generics): Removed rests of LIGD-style CrushRight from RepLib

Alexey Rodriguez Yakushev