diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-14 22:13:43 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-18 16:38:12 -0400 |
| commit | 9b5c6783a95dc0a0048e93e6f610beaa20932191 (patch) | |
| tree | 4483c6c69cb5bdeceae1d4440c5d2107ac954883 /doc/types.md | |
| parent | fb0e65434f9e20a80a40ceb5088aea69404480f3 (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 ⟨ |