Fix #241: Create devcontainer.json to enable GitHub CodeSpaces

IntersectMBO · Aug 29, 2023 · b35e7cf · b35e7cf
1 parent f54cdd8
commit b35e7cf
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,13 @@
+{
+   "image":"ghcr.io/input-output-hk/devx-devcontainer:ghc8107-iog",
+   "customizations":{
+      "vscode":{
+         "extensions":[
+            "haskell.haskell"
+         ],
+         "settings":{
+            "haskell.manageHLS":"PATH"
+         }
+      }
+   }
+}