Ignore hint

2023-11-10 10:41:44 -05:00
parent 0d71490cc3
commit f826f2b2d3
2 changed files with 6 additions and 1 deletions
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -6,6 +6,8 @@
    "elems",
    "Factorisation",
    "factorise",
-    "foldl"
+    "foldl",
+    "HLINT",
+    "unrecognised"
  ]
 }