input-output-hk · polubilla · Nov 24, 2022 · Dec 21, 2022 · Jan 24, 2023 · Jan 26, 2023
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -0,0 +1,6 @@
+FROM ghcr.io/jamesdbrock/ihaskell-notebook:master
+# FROM ghcr.io/ihaskell/ihaskell-notebook:master
+
+RUN pip install RISE
+
+# RUN stack install Decimal http-conduit ansi-terminal
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,3 @@
+{
+  "build": { "dockerfile": "Dockerfile" }
+}