From 30a84896be7d30c48e908ade11876db9d5b608e7 Mon Sep 17 00:00:00 2001 From: tjjfvi Date: Fri, 23 Feb 2024 15:38:11 -0500 Subject: [PATCH] remove erroneous words from spellchecker config --- cspell.json | 2 -- docs/automatic-vectorization-with-tagged-lambdas.md | 2 +- src/main.rs | 2 +- 3 files changed, 2 insertions(+), 4 deletions(-) diff --git a/cspell.json b/cspell.json index e78eeea25..4d6f76d33 100644 --- 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 index d058efc6b..4b204521e 100644 --- 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 index 938e60ab8..c083ee29c 100644 --- 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, #[arg(short = 'd', help = "Debug mode (print each reduction step)")]