patch applied (hat): Corrected isRedex. Before also partial applications were often considered redexes, so that lots of bogus children could appear.
10 Oct
2006
10 Oct
'06
7:28 p.m.
Fri Sep 24 10:36:06 PDT 2004 olaf * Corrected isRedex. Before also partial applications were often considered redexes, so that lots of bogus children could appear. M ./src/hattools/HatExplore.hs -7 +2
7232
Age (days ago)
7232
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace