patch applied (generics): LIGD/Nested (working) and LIGD/GEqTree (failing) added
15 Jun
2007
15 Jun
'07
11:38 p.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
6745
Age (days ago)
6745
Last active (days ago)
0 comments
1 participants
participants (1)
-
Oleg Kiselyov