From f31d7645399702e52337e63a1a7acc3776e33a77 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 6 Sep 2024 14:47:17 +0200
Subject: Sample/std fixes

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

(limited to 'std/Tree/Finger.bruijn')

diff --git a/std/Tree/Finger.bruijn b/std/Tree/Finger.bruijn
index 50f0f2c..4ded9ce 100644
--- a/std/Tree/Finger.bruijn
+++ b/std/Tree/Finger.bruijn
@@ -279,7 +279,7 @@ append3 z [[[[2 case-deep case-single case-empty]]]] ⧗ (FingerTree a) → (Lis
 		single-empty 3
 	case-empty 0
 
-append [[append3 1 L.empty 0]]
+append [[append3 1 L.empty 0]] ⧗ (FingerTree a) → (FingerTree a) → (FingerTree a)
 
 …++… append
 
-- 
cgit v1.2.3