25 Feb
2008
25 Feb
'08
1:39 p.m.
Mon Feb 25 03:16:45 PST 2008 Alexey Rodriguez <alexey@cs.uu.nl> * TestRmWeights for Spine, the previous test was broken (explicit matching of constructors other than WithWeight not allowed) M ./comparison/Spine/RmWeights.lhs -8 +25