diff options
Diffstat (limited to 'frontend/utilities.icl')
-rw-r--r-- | frontend/utilities.icl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/utilities.icl b/frontend/utilities.icl index c74b2e0..4c54d13 100644 --- a/frontend/utilities.icl +++ b/frontend/utilities.icl @@ -158,6 +158,7 @@ foldSt op r l :== fold_st r l fold_st [] st = st fold_st [a:x] st = fold_st x (op a st) +// iFoldSt :: (Int -> .(.b -> .b)) !Int !Int .b -> .b iFoldSt op fr to st :== i_fold_st fr to st where i_fold_st fr to st |