aboutsummaryrefslogtreecommitdiff
path: root/sucl/basic.icl
diff options
context:
space:
mode:
Diffstat (limited to 'sucl/basic.icl')
-rw-r--r--sucl/basic.icl3
1 files changed, 3 insertions, 0 deletions
diff --git a/sucl/basic.icl b/sucl/basic.icl
index 0953741..7ba2c51 100644
--- a/sucl/basic.icl
+++ b/sucl/basic.icl
@@ -109,6 +109,9 @@ forget :: val -> .(![.(val,res)] -> .[(val,res)]) | == val
forget x = filter (neq x o fst)
neq x y = x <> y
+inccounter :: a (a->b) a -> b | == a & +,one b
+inccounter m f n = if (n==m) (f n+one) (f n)
+
indent :: .String -> .([.String] -> .[String])
indent first = map2 (+++) [first:repeat (createArray (size first) ' ')]