From 9b5c6783a95dc0a0048e93e6f610beaa20932191 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 14 Jun 2022 22:13:43 -0400 Subject: =?UTF-8?q?Use=20[]=20instead=20of=20>=E2=9F=A8=E2=9F=A9=20in=20a?= =?UTF-8?q?=20few=20places?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- doc/types.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/types.md') 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 ⟨ -- cgit v1.2.3