[Hs-Generics] patch applied (generics): CrushRight not supported in syb3

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Mon Mar 31 05:00:32 EDT 2008


Mon Mar 31 01:58:29 PDT 2008  Alexey Rodriguez <mrchebas at gmail.com>
  * CrushRight not supported in syb3

    A ./comparison/syb3/CrushRight.lhs


More information about the Generics mailing list