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

IntersectMBO · Jul 5, 2023 · a709079 · a709079
1 parent 3bd707e
commit a709079
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"
+         }
+      }
+   }
+}