forked from HigherOrderCO/Bend
-
Notifications
You must be signed in to change notification settings - Fork 0
/
cspell.json
127 lines (127 loc) · 1.82 KB
/
cspell.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
{
"version": "0.2",
"language": "en",
"words": [
"anni",
"annihilations",
"argn",
"arities",
"arity",
"behaviour",
"bitand",
"Bitonic",
"bsort",
"builtins",
"callcc",
"chumsky",
"codepoint",
"codepoints",
"combinators",
"concat",
"ctrs",
"cuda",
"Dall",
"datatypes",
"Deque",
"destructures",
"desugared",
"desugars",
"devs",
"dref",
"dups",
"effectful",
"foldl",
"hasher",
"hexdigit",
"hvm's",
"hvmc",
"indexmap",
"inet",
"inets",
"inlineable",
"inlineables",
"inlines",
"inodes",
"insta",
"interner",
"ints",
"itertools",
"ITRS",
"kwarg",
"kwargs",
"lcons",
"linearization",
"linearizes",
"linearizing",
"lnet",
"lnil",
"lpthread",
"mult",
"namegen",
"nams",
"nats",
"nullary",
"numop",
"nums",
"OOM's",
"oper",
"opre",
"oprune",
"oref",
"parallelizable",
"peekable",
"postcondition",
"powi",
"prec",
"quadtree",
"quadtrees",
"readback",
"recursively",
"redex",
"redexes",
"resugar",
"resugared",
"resugaring",
"rfold",
"rsplit",
"rwts",
"scons",
"scopeless",
"scrutinee",
"sequentialism",
"snil",
"SOTA",
"stdext",
"struct",
"subcmd",
"submatch",
"subpattern",
"subpatterns",
"subterm",
"subterms",
"succ",
"supercombinator",
"supercombinators",
"TSPL",
"tunr",
"unbounds",
"vectorize",
"vectorizes",
"walkdir",
"wopts"
],
"files": [
"**/*.rs",
"**/*.md"
],
"ignoreRegExpList": [
"HexValues",
"/λ/g",
"/-O/g",
"/`.`/g",
"/`..`/g",
"/`...`/g",
"/`....`/g",
"/```.*\n.*\n```/g"
]
}