diff options
Diffstat (limited to 'doc/fold.md')
| -rw-r--r-- | doc/fold.md | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/fold.md b/doc/fold.md index 6300e715..8e8d17a0 100644 --- a/doc/fold.md +++ b/doc/fold.md @@ -25,16 +25,17 @@ Brak ← { } _pair ← {1(↓𝔽-⊸↓)⊢} -tx ← ↕≠xt ⋄ ty ← 0.8+5×↕2 -sy ← (2÷˜+´ty)-3×0.5-˜(↕÷-⟜1) ≠sx←2÷˜+_pair tx -tp ← tx≍¨⊑ty ⋄ sp ← sx≍¨sy +tx ← ↕≠xt ⋄ ty ← 0.8+5×↕2 ⋄ tp ← tx≍¨⊑ty ⋄ tw ← ¯0.23 +sy ← (2÷˜+´ty)-3×0.5-˜(↕÷-⟜1) ≠sx←0.14-˜2÷˜+_pair tx +sx +↩ (÷´(sx+⟜tw⊸≍○(⊢´)sy)-¯2⊑tp)×-⟜(⊢´)sy +sp ← sx≍¨sy dim ← ⟨2.5+≠tx,0.8+1⊑ty⟩ ⋄ sh ← ¯2.3‿0 lp ← 0.35 ((∾˜d)×((-∾+˜)1‿0.3)+sh∾dim) SVG g Ge ⟨ "rect" Elt rc ∾ (Pos d×sh)∾"width"‿"height"≍˘FmtNum d×dim lg Ge Line¨ ∾⟨ - tp (≍+·≍⟜-·(⊢×lp÷1⊸⊑)-)¨ ¯0.25‿0<⊸(+ ∾ ⊣-˜¯1⊏⊢)sp + tp (≍+·≍⟜-·(⊢×lp÷1⊸⊑)-)¨ tw‿0<⊸(+ ∾ ⊣-˜¯1⊏⊢)sp ((lpׯ0.5‿1≍1.2‿¯0.5)+≍)¨_pair sp ⟨sx {⍉(≍˜𝕨)≍(≍⟜-lp)+𝕩≍1⊑ty}○⊑ sy⟩ ⟩ |