remove erroneous words from spellchecker config

HigherOrderCO · Feb 23, 2024 · 30a8489 · 30a8489
1 parent 6ba9d5c
commit 30a8489
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 4 deletions.
diff --git a/cspell.json b/cspell.json
@@ -4,7 +4,6 @@
   "words": [
     "anni",
     "annihilations",
-    "appllication's",
     "arities",
     "arity",
     "behaviour",
@@ -39,7 +38,6 @@
     "linearizing",
     "lnet",
     "lnil",
-    "maximium",
     "mult",
     "namegen",
     "nams",

diff --git a/docs/automatic-vectorization-with-tagged-lambdas.md b/docs/automatic-vectorization-with-tagged-lambdas.md
@@ -5,7 +5,7 @@ We have seen in [Dups and Sups](dups-and-sups.md) that duplications and superpos
 Tagged applications will only annihilate lambdas with the same tag.
 ```rs
 
-// V appllication's tag
+// V application's tag
   #A(#A λx(body) arg)
 //    ^ lambda's tag
 // The tag must go before the term.

diff --git a/src/main.rs b/src/main.rs
@@ -56,7 +56,7 @@ enum Mode {
     #[arg(short = 'm', long = "mem", help = "How much memory to allocate for the runtime", default_value = "1G", value_parser = mem_parser)]
     max_mem: u64,
 
-    #[arg(short = 'r', long = "rwts", help = "Maximium amount of rewrites", value_parser = mem_parser)]
+    #[arg(short = 'r', long = "rwts", help = "Maximum amount of rewrites", value_parser = mem_parser)]
     max_rwts: Option<u64>,
 
     #[arg(short = 'd', help = "Debug mode (print each reduction step)")]