mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-11-12 18:22:31 +03:00
123 lines
1.7 KiB
JSON
123 lines
1.7 KiB
JSON
{
|
|
"version": "0.2",
|
|
"language": "en",
|
|
"words": [
|
|
"anni",
|
|
"annihilations",
|
|
"argn",
|
|
"arities",
|
|
"arity",
|
|
"behaviour",
|
|
"bitand",
|
|
"Bitonic",
|
|
"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",
|
|
"itertools",
|
|
"ITRS",
|
|
"kwarg",
|
|
"kwargs",
|
|
"lcons",
|
|
"linearization",
|
|
"linearizes",
|
|
"linearizing",
|
|
"lnet",
|
|
"lnil",
|
|
"mult",
|
|
"namegen",
|
|
"nams",
|
|
"nats",
|
|
"nullary",
|
|
"numop",
|
|
"nums",
|
|
"OOM's",
|
|
"oper",
|
|
"opre",
|
|
"oprune",
|
|
"oref",
|
|
"parallelizable",
|
|
"peekable",
|
|
"postcondition",
|
|
"powi",
|
|
"prec",
|
|
"quadtree",
|
|
"readback",
|
|
"recursively",
|
|
"redex",
|
|
"redexes",
|
|
"resugar",
|
|
"resugared",
|
|
"resugaring",
|
|
"rfold",
|
|
"rsplit",
|
|
"rwts",
|
|
"scons",
|
|
"scopeless",
|
|
"scrutinee",
|
|
"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"
|
|
]
|
|
}
|