Skip to content

Commit

Permalink
Fix a typo
Browse files Browse the repository at this point in the history
  • Loading branch information
DenisGorbachev authored Sep 2, 2023
1 parent a495fa1 commit d186002
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion SYNTAX.md
Original file line number Diff line number Diff line change
Expand Up @@ -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:

Expand Down

0 comments on commit d186002

Please sign in to comment.