diff options
Diffstat (limited to 'sucl/basic.icl')
| -rw-r--r-- | sucl/basic.icl | 3 |
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) ' ')] |