From d1860024dc54990e15f518393f72531f778f7b7e Mon Sep 17 00:00:00 2001
From: Denis Gorbachev <829578+DenisGorbachev@users.noreply.github.com>
Date: Sat, 2 Sep 2023 11:51:34 +0700
Subject: [PATCH] Fix a typo

---
 SYNTAX.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/SYNTAX.md b/SYNTAX.md
index 91be14a40..0809a93f1 100644
--- a/SYNTAX.md
+++ b/SYNTAX.md
@@ -153,7 +153,7 @@ Lambda
 x => body
 ```
 
-A lambda represents an inline function. It is written as a variable name, followed by `=>`, followed by a term. Currently, there are no mukti-argument lambdas in Kind, they must be written like `a => b => c => body`.
+A lambda represents an inline function. It is written as a variable name, followed by `=>`, followed by a term. Currently, there are no multi-argument lambdas in Kind, they must be written like `a => b => c => body`.
 
 Usually, the type of a lambda argument is infered, but we may optionally anotate its type to help the type-checker. For example: