[Hs-Generics] patch applied (generics): Completed LIGD/GEqTree with an implementation that works (by representing weighted trees by stripping the weight).

Oleg Kiselyov oleg at pobox.com
Sun Jun 17 18:42:29 EDT 2007


Fri Jun 15 12:09:16 PDT 2007  patrikj at chalmers.se
  * Completed LIGD/GEqTree with an implementation that works (by representing weighted trees by stripping the weight).

    M ./comparison/LIGD/GEqTree.lhs -1 +31
    M ./comparison/PolyP/GEqTree.lhs -7
    M ./comparison/TestGEq.lhs -9
    M ./comparison/TestGEqTree.lhs -2


More information about the Generics mailing list