From caee6ea61b6a03112be465e934aafa9a2e217fa2 Mon Sep 17 00:00:00 2001 From: Bill Ewanick Date: Sun, 29 Dec 2024 14:12:58 -0500 Subject: [PATCH] Spelling --- .vscode/settings.json | 1 + 1 file changed, 1 insertion(+) diff --git a/.vscode/settings.json b/.vscode/settings.json index 88398d3..3718352 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -13,6 +13,7 @@ "HLINT", "mempty", "Prec", + "succ", "unrecognised" ] }