Merge pull request #580 from DenisGorbachev/patch-1

Fix a typo
HigherOrderCO · Sep 10, 2023 · 0290346 · 0290346
2 parents a495fa1 + d186002
commit 0290346
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: