Spelling

2024-12-29 14:12:58 -05:00 · 2024-12-29 14:12:58 -05:00 · caee6ea61b
parent ea4d0e8580
commit caee6ea61b
1 changed files with 1 additions and 0 deletions
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@ -13,6 +13,7 @@
    "HLINT",
    "mempty",
    "Prec",
+    "succ",
    "unrecognised"
  ]
 }