diff options
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 |