From b565350fb5f44f57dcb02a66ae99bab3b27313d3 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 23 Aug 2024 21:18:00 +0200
Subject: Added concatenation

---
 std/List/Church.bruijn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'std/List/Church.bruijn')

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
-- 
cgit v1.2.3