diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-14 22:13:43 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-14 22:14:25 -0400 |
| commit | 3295d50d33ba6f92185470c2984b097140231618 (patch) | |
| tree | b98d6f45c9b2f43f3dbd229662234d26150ad58a /doc/types.md | |
| parent | 53a4cfb43d9fe0f5654a20d7937ac653be6a30e3 (diff) | |
Use [] instead of >⟨⟩ in a few places
Diffstat (limited to 'doc/types.md')
| -rw-r--r-- | doc/types.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/types.md b/doc/types.md index 0e1a97ca..dc246f26 100644 --- a/doc/types.md +++ b/doc/types.md @@ -35,7 +35,7 @@ Round ← { or← 0< v +´∘×⟜(⌽-⌾⊑)¨ 1⌽v "Z"∾˜ 'M'⌾⊑ ∾ ⥊ (('L'∾Fmt)¨ v+𝕩) ≍˘ or ('A'∾·Fmt(𝕨‿𝕨∾0‿0)∾∾)¨ (1⌽-v)+𝕩 } -a ← "path" Elt >⟨"d"‿(12 Round d1⊸ר ⥊ ((⊢≍˘1⊸⌽) 0‿2.6‿4) ≍¨ ↕3),¯1⊑cl⟩ +a ← "path" Elt ["d"‿(12 Round d1⊸ר ⥊ ((⊢≍˘1⊸⌽) 0‿2.6‿4) ≍¨ ↕3), ¯1⊑cl] FS ← {𝕩 Enc˜ "g"Attr⟨"font-size",(Fmt𝕨)∾"px"⟩} ((0‿2-p)∾dim) SVG ⟨ |