From b35e7cf9c5a2ccab88eb0ae3a93c5f85b552c23e Mon Sep 17 00:00:00 2001
From: Yvan Sraka <yvan@sraka.xyz>
Date: Wed, 5 Jul 2023 14:43:14 +0200
Subject: [PATCH] Fix #241: Create `devcontainer.json` to enable GitHub
 CodeSpaces

---
 .devcontainer/devcontainer.json | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 000000000..ef2dd7fe2
--- /dev/null
+++ 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"
+         }
+      }
+   }
+}