diff options
| author | Marvin Borner | 2024-08-23 21:18:00 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-08-23 21:18:00 +0200 |
| commit | b565350fb5f44f57dcb02a66ae99bab3b27313d3 (patch) | |
| tree | 244f2bc1b71a747080d35b5140601107cee5a88e /std/List/Church.bruijn | |
| parent | 97c39b8c829c39bbf4c88ec6e3feca284f39880f (diff) | |
Added concatenation
Diffstat (limited to 'std/List/Church.bruijn')
| -rw-r--r-- | std/List/Church.bruijn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/std/List/Church.bruijn b/std/List/Church.bruijn index b45f5c5..c17988c 100644 --- a/std/List/Church.bruijn +++ b/std/List/Church.bruijn @@ -130,7 +130,7 @@ foldr [[[z [[rec]] 0]]] ⧗ (a → b → b) → b → (List b) → b :test ((foldr …-… (+2) ((+1) : ((+2) : {}(+3)))) =? (+0)) (true) # foldr without starting value -foldr1 [[foldl 1 ^0 ~0]] ⧗ (a → a → a) → (List a) → a +foldr1 [[foldr 1 ^0 ~0]] ⧗ (a → a → a) → (List a) → a # applies or to all list elements lor? foldr or? false ⧗ (List Boolean) → Boolean |