Add logical graphs

Author: SerafimArts

Writerside/cfg/static/custom.css

@@ -25,4 +25,8 @@ p + .code-collapse__wrapper,
 
 .starting-page-card {
     border-radius: 7px;
+}
+
+#mermaid .flowchart-link {
+    stroke: #59595c6b !important;
 }

Writerside/labels.list

@@ -43,8 +43,8 @@
 
     <secondary-label id="wip" name="WIP" color="red">Work in progress</secondary-label>
     <secondary-label id="beta" name="β" color="tangerine">Beta</secondary-label>
-    <secondary-label id="tl1.1" name="Available in Parser v1.1" color="strawberry">Available in type-lang/parser 1.1+</secondary-label>
-    <secondary-label id="tl1.2" name="Available in Parser v1.2" color="strawberry">Available in type-lang/parser 1.2+</secondary-label>
-    <secondary-label id="tl1.4" name="Available in Parser v1.4" color="strawberry">Available in type-lang/parser 1.4+</secondary-label>
+    <secondary-label id="tl1.1" name="Parser v1.1" color="strawberry">Available in type-lang/parser 1.1+</secondary-label>
+    <secondary-label id="tl1.2" name="Parser v1.2" color="strawberry">Available in type-lang/parser 1.2+</secondary-label>
+    <secondary-label id="tl1.4" name="Parser v1.4" color="strawberry">Available in type-lang/parser 1.4+</secondary-label>
     <secondary-label id="r1.1" name="Available in Reader v1.1" color="strawberry">Available in type-lang/reader 1.1+</secondary-label>
 </labels>

Writerside/topics/language/callable-types.md

@@ -215,7 +215,6 @@ _before the type_ or _before the parameter name._
 
 ## Attributes
 
-<primary-label ref="experimental"/>
 <secondary-label ref="tl1.2"/>
 
 Each callable parameter allows you to define list of additional attributes.

Writerside/topics/language/generic-types.md

@@ -154,7 +154,6 @@ In addition to modern list declarations such as `list<int>` or
 
 ## Attributes
 
-<primary-label ref="experimental"/>
 <secondary-label ref="tl1.1"/>
 
 Each template argument allows you to define list of additional attributes. 

Writerside/topics/language/logical-types.md

@@ -11,20 +11,35 @@ separate expression is also supported.
 Each union type is separated by a pipe character (`|`) and may contain any other
 type definition.
 
-> `A` **OR** `B` **OR** `C`.
+
 > ```typescript
 > A | B | C
 > ```
+> 
+> ```mermaid
+> graph LR
+> U{{ A | B | C }}
+> U -- OR --> A(A)
+> U -- OR --> B(B)
+> U -- OR --> C(C)
+> ```
 
 ### Intersection Types
 
 Each intersection type is separated by an ampersand character (`&`) and may
 contain any other type definition.
 
-> `A` **AND** `B` **AND** `C`.
 > ```typescript
 > A & B & C
 > ```
+> 
+> ```mermaid
+> graph LR
+> U{{ A & B & C }}
+> U -- AND --> A(A)
+> U -- AND --> B(B)
+> U -- AND --> C(C)
+> ```
 
 ### Nullable Types
 
@@ -38,6 +53,13 @@ and is written as `?T.`
 > ```typescript
 > ?Example
 > ```
+> ```mermaid
+> graph LR
+> U{{ ?Example }}
+> U --> SU{{ Example | null }}
+> SU -- OR --> A(Example)
+> SU -- OR --> B(null)
+> ```
 
 </tab>
 <tab title="Counterexamples">
@@ -58,12 +80,32 @@ and is written as `?T.`
 
 Parentheses can be used to disambiguate types.
 
-> `A` **AND** `B` _or_ `C`
+> Disjunctive form (DNF).
+> 
 > ```typescript
 > (A & B) | C
 > ```
->
-> `A` **AND** `C` _or_ `B` **AND** `C`
+> 
+> ```mermaid
+> graph LR
+> U{{ &lpar; A &amp; B &rpar; &vert; C }}
+> U -- OR --> P1{{A &amp; B}}
+> P1 -- AND --> A(A)
+> P1 -- AND --> B(B)
+> U -- OR --> C(C)
+> ```
+
+
+> Conjunctive form (CNF).
 > ```typescript
 > (A | B) & C
 > ```
+> 
+> ```mermaid
+> graph LR
+> U{{ &lpar; A &vert; B &rpar; &amp; C }}
+> U -- AND --> P1{{A &vert; B}}
+> P1 -- OR --> A(A)
+> P1 -- OR --> B(B)
+> U -- AND --> C(C)
+> ```

Writerside/topics/language/shape-types.md

@@ -112,7 +112,6 @@ array{
 
 ## Attributes
 
-<primary-label ref="experimental"/>
 <secondary-label ref="tl1.1"/>
 
 Each shape field allows you to define list of additional attributes.