diff options
| author | Marvin Borner | 2024-09-06 14:47:17 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-09-06 14:47:17 +0200 |
| commit | f31d7645399702e52337e63a1a7acc3776e33a77 (patch) | |
| tree | 1ebbac0313291770d133eaba426929657187557e /std/Tree/Finger.bruijn | |
| parent | c95688c2fa63ba91df518ddf0d97261d6bd02426 (diff) | |
Sample/std fixes
Diffstat (limited to 'std/Tree/Finger.bruijn')
| -rw-r--r-- | std/Tree/Finger.bruijn | 2 |
1 files changed, 1 insertions, 1 deletions
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 |