mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-17 14:47:21 +03:00
Adjust cspell
This commit is contained in:
parent
e13e360118
commit
273733a84f
13
cspell.json
13
cspell.json
@ -40,6 +40,7 @@
|
|||||||
"insta",
|
"insta",
|
||||||
"interner",
|
"interner",
|
||||||
"itertools",
|
"itertools",
|
||||||
|
"kwargs",
|
||||||
"lcons",
|
"lcons",
|
||||||
"linearization",
|
"linearization",
|
||||||
"linearizes",
|
"linearizes",
|
||||||
@ -59,6 +60,7 @@
|
|||||||
"oref",
|
"oref",
|
||||||
"peekable",
|
"peekable",
|
||||||
"postcondition",
|
"postcondition",
|
||||||
|
"prec",
|
||||||
"readback",
|
"readback",
|
||||||
"recursively",
|
"recursively",
|
||||||
"redex",
|
"redex",
|
||||||
@ -91,13 +93,6 @@
|
|||||||
"walkdir",
|
"walkdir",
|
||||||
"wopts"
|
"wopts"
|
||||||
],
|
],
|
||||||
"files": [
|
"files": ["**/*.rs", "**/*.md"],
|
||||||
"**/*.rs",
|
"ignoreRegExpList": ["HexValues", "/λ/g", "/-O/g"]
|
||||||
"**/*.md"
|
|
||||||
],
|
|
||||||
"ignoreRegExpList": [
|
|
||||||
"HexValues",
|
|
||||||
"/λ/g",
|
|
||||||
"/-O/g"
|
|
||||||
]
|
|
||||||
}
|
}
|
||||||
|
@ -587,7 +587,7 @@ def inc_list(list):
|
|||||||
def lam():
|
def lam():
|
||||||
return lambda x, y: return x;;
|
return lambda x, y: return x;;
|
||||||
|
|
||||||
def mtch(b):
|
def do_match(b):
|
||||||
match b as bool:
|
match b as bool:
|
||||||
case True:
|
case True:
|
||||||
return 1;
|
return 1;
|
||||||
|
Loading…
Reference in New Issue
Block a user