Update introduction.md

Hihaheho · Mar 28, 2023 · c4931a3 · c4931a3
1 parent 6afc0ae
commit c4931a3
Showing 1 changed file with 12 additions and 3 deletions.
diff --git a/docs/language/introduction.md b/docs/language/introduction.md
@@ -1,4 +1,4 @@
-# Introduction of Desk-lang
+k1# Introduction of Desk-lang
 
 Note: Desk-lang specifies only its syntax and semantics, so the example codes includes pseudo built-in functions/effects with recommended signatures.
 
@@ -75,6 +75,15 @@ It creates an alias for character type.
 
 It creates an alias for string type as arbitrarily length list of characters.
 
-### `Π{ t1, * } = Π& { t1, * }` 
+### `Π{ t1, * } = Π& Σ& { t1, * }`
 
-直積リテラル構文の定義
+直積リテラル構文の定義
+
+### map構文の定義
+
+```
+Π{ k1 → v1, * } = Πmap branch &map Σ& {k1, k2, *} begin
+  k1 → v1
+  *
+end
+```