Nits

anqur · anqur · commit ebe2a0a8c610 · 2024-07-18T16:52:47.000+08:00
Signed-off-by: anqurvanillapy &lt;anqurvanillapy@gmail.com&gt;
diff --git a/docs/01-intro.md b/docs/01-intro.md
@@ -176,7 +176,7 @@ type ID = StringID | NumberID;
 <!-- @formatter:off -->
 
 ```ts
-type ID = [ StringID(string) | NumberID(number) ];
+type ID = [StringID: string | NumberID: number];
 ```
 
 <!-- @formatter:on -->
