From c4931a359c840740b6637d7ab1fbef43aaca803a Mon Sep 17 00:00:00 2001 From: Ryo Hirayama Date: Tue, 28 Mar 2023 20:09:43 +0900 Subject: [PATCH] Update introduction.md --- docs/language/introduction.md | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/docs/language/introduction.md b/docs/language/introduction.md index bd81a8fe..afa3e2b0 100644 --- 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, * }` -直積リテラル構文の定義 \ No newline at end of file +直積リテラル構文の定義 + +### map構文の定義 + +``` +Π{ k1 → v1, * } = Πmap branch &map Σ& {k1, k2, *} begin + k1 → v1 + * +end +``` \ No newline at end of file