Add words to spell checker

This commit is contained in:
Eduardo Sandalo Porto 2024-05-16 16:44:02 -03:00
parent 2676db5960
commit b31cf3529b

View File

@ -10,6 +10,7 @@
"behaviour", "behaviour",
"bitand", "bitand",
"Bitonic", "Bitonic",
"bsort",
"builtins", "builtins",
"callcc", "callcc",
"chumsky", "chumsky",
@ -53,6 +54,7 @@
"linearizing", "linearizing",
"lnet", "lnet",
"lnil", "lnil",
"lpthread",
"mult", "mult",
"namegen", "namegen",
"nams", "nams",
@ -71,6 +73,7 @@
"powi", "powi",
"prec", "prec",
"quadtree", "quadtree",
"quadtrees",
"readback", "readback",
"recursively", "recursively",
"redex", "redex",
@ -84,6 +87,7 @@
"scons", "scons",
"scopeless", "scopeless",
"scrutinee", "scrutinee",
"sequentialism",
"snil", "snil",
"SOTA", "SOTA",
"stdext", "stdext",