patch applied (generics): LIGD/Nested (working) and LIGD/GEqTree (failing) added
16 Jun
2007
16 Jun
'07
1:38 a.m.
Fri Jun 15 10:40:12 PDT 2007 patrikj@chalmers.se * LIGD/Nested (working) and LIGD/GEqTree (failing) added M ./comparison/LIGD/GEq.lhs -1 +1 A ./comparison/LIGD/GEqTree.lhs A ./comparison/LIGD/Nested.lhs A ./comparison/LIGD/PerfectReps.hs A ./comparison/TestNested.exp
6961
Age (days ago)
6961
Last active (days ago)
0 comments
1 participants
participants (1)
-
Oleg Kiselyov