patch applied (generics): Added nested grose trees

21 Jun 2007


      Thu Jun 21 08:27:32 PDT 2007  Alexey Rodriguez <alexey@cs.uu.nl>
  * Added nested grose trees

    M ./comparison/LIGD/GEq.lhs -1 +7
    A ./comparison/LIGD/NGRoseReps.hs
    A ./comparison/NGRoseDatatype.hs
    M ./comparison/TestFoldTreeSalary.lhs +5
    A ./comparison/TestGEqNGRose.exp
    A ./comparison/TestGEqNGRose.lhs
    M ./comparison/test.hs -1 +2

Alexey Rodriguez Yakushev

tags

participants (1)