[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