From da6d4877d6d8967a30c63cfadbdfeeea67e0c628 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Sat, 7 Jan 2023 19:05:30 +0300
Subject: [PATCH] Update syntax docs

---
 docs/sophia_syntax.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/sophia_syntax.md b/docs/sophia_syntax.md
index e57cc84..f0df9e6 100644
--- a/docs/sophia_syntax.md
+++ b/docs/sophia_syntax.md
@@ -104,6 +104,7 @@ Implement ::= ':' Sep1(Con, ',')
 Decl ::= 'type'     Id ['(' TVar* ')'] '=' TypeAlias
        | 'record'   Id ['(' TVar* ')'] '=' RecordType
        | 'datatype' Id ['(' TVar* ')'] '=' DataType
+       | 'let'      Id [':' Type]      '=' Expr
        | (EModifier* 'entrypoint' | FModifier* 'function') Block(FunDecl)
        | Using