diff options
Diffstat (limited to 'sucl/basic.dcl')
| -rw-r--r-- | sucl/basic.dcl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sucl/basic.dcl b/sucl/basic.dcl index c51d57e..0d06233 100644 --- a/sucl/basic.dcl +++ b/sucl/basic.dcl @@ -184,3 +184,6 @@ stub :: .String .String .String -> .a // `Superset xs ys' determines whether ys is a superset (actually, super-multi-set or super-list) of xs. superset :: .[a] -> .(.[a] -> Bool) | == a + +// zipwith zips up two lists with a joining function +zipwith :: (.a .b->.c) ![.a] [.b] -> [.c] |