diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-06-22 22:25:09 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-06-22 22:26:59 -0400 |
| commit | fc9eac147ab8bf49f2389c6b90500a35f2aa2e62 (patch) | |
| tree | bb793d08bf0343cdaae1c9a996022ab4e5e36e18 /doc/fold.md | |
| parent | ab42bf26eaa7cc9bb3a34aefdd09a42c33312114 (diff) | |
Better fold diagram alignment
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⟩ ⟩ |