diff options
Diffstat (limited to 'sucl/newfold.icl')
| -rw-r--r-- | sucl/newfold.icl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/sucl/newfold.icl b/sucl/newfold.icl index 2ddfa42..6958f4b 100644 --- a/sucl/newfold.icl +++ b/sucl/newfold.icl @@ -1,3 +1,9 @@ +implementation module newfold + +// $Id$ + +/* + newfold.lit - New folding function ================================== @@ -341,3 +347,5 @@ Uses foldspine with > force nodes = (True,nodes) > partial rule matching nodes = (False,nodes) > redex rule matching = none + +*/ |