diff options
Diffstat (limited to 'std/List.bruijn')
| -rw-r--r-- | std/List.bruijn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/std/List.bruijn b/std/List.bruijn index 19fac6b..39aecf8 100644 --- a/std/List.bruijn +++ b/std/List.bruijn @@ -266,9 +266,9 @@ zip-with z [[[[rec]]]] ⧗ (a → b → c) → (List a) → (List b) → (List c :test ({ ++‣ | ((+0) : {}(+2)) }) ((+1) : {}(+3)) # doubled list comprehension -{…|…,…} zip-with ⧗ (a → b → c) → (List a) → (List b) → (List c) +{…|…;…} zip-with ⧗ (a → b → c) → (List a) → (List b) → (List c) -:test ({ …+… | ((+0) : {}(+2)) , ((+1) : {}(+3)) }) ((+1) : {}(+5)) +:test ({ …+… | ((+0) : {}(+2)) ; ((+1) : {}(+3)) }) ((+1) : {}(+5)) # returns first n elements of a list take z [[[rec]]] ⧗ Number → (List a) → (List a) |