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