mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-11-04 01:20:56 +03:00
Adjust cspell
This commit is contained in:
parent
127fee6993
commit
a919c016aa
@ -4,6 +4,7 @@
|
|||||||
"words": [
|
"words": [
|
||||||
"anni",
|
"anni",
|
||||||
"annihilations",
|
"annihilations",
|
||||||
|
"argn",
|
||||||
"arities",
|
"arities",
|
||||||
"arity",
|
"arity",
|
||||||
"behaviour",
|
"behaviour",
|
||||||
|
@ -417,7 +417,7 @@ match opt = (Some "Bend") {
|
|||||||
|
|
||||||
A pattern match expression, it can hold a name binding if the matching term is not a variable.
|
A pattern match expression, it can hold a name binding if the matching term is not a variable.
|
||||||
|
|
||||||
It is possibile to use a _wildcard_ variable or `*` as an exhaustive default case.
|
It is possible to use a _wildcard_ variable or `*` as an exhaustive default case.
|
||||||
|
|
||||||
Using `;` is optional.
|
Using `;` is optional.
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user