From b1084081a0afa553596e978199705f486806727b Mon Sep 17 00:00:00 2001
From: Daira-Emma Hopwood <daira@jacaranda.org>
Date: Fri, 26 Jul 2024 18:08:43 +0100
Subject: [PATCH] Spelling exceptions for the LTeX vscode extension (harmless
 if the extension is not installed).

Signed-off-by: Daira-Emma Hopwood <daira@jacaranda.org>
---
 .vscode/ltex.dictionary.en-US.txt    | 14 ++++++++++++++
 .vscode/ltex.disabledRules.en-US.txt |  4 ++++
 2 files changed, 18 insertions(+)
 create mode 100644 .vscode/ltex.dictionary.en-US.txt
 create mode 100644 .vscode/ltex.disabledRules.en-US.txt

diff --git a/.vscode/ltex.dictionary.en-US.txt b/.vscode/ltex.dictionary.en-US.txt
new file mode 100644
index 0000000..4005ee6
--- /dev/null
+++ b/.vscode/ltex.dictionary.en-US.txt
@@ -0,0 +1,14 @@
+arithmetization
+handwaving
+iff
+indeterminates
+nonnegative
+Plonkish
+prover
+satisfiable
+th
+Tesselation
+TODO
+zk
+zkInterface
+ZKProof
diff --git a/.vscode/ltex.disabledRules.en-US.txt b/.vscode/ltex.disabledRules.en-US.txt
new file mode 100644
index 0000000..6782651
--- /dev/null
+++ b/.vscode/ltex.disabledRules.en-US.txt
@@ -0,0 +1,4 @@
+CURRENCY
+UPPERCASE_SENTENCE_START
+WHITESPACE_RULE
+ALL_OF_THE