add devcontainer support

Author: weihongliang233

.devcontainer/.emacs

@@ -0,0 +1,6 @@
+;; auto-load agda-mode for .agda and .lagda.md
+(setq auto-mode-alist
+   (append
+     '(("\\.agda\\'" . agda2-mode)
+       ("\\.lagda.md\\'" . agda2-mode))
+     auto-mode-alist))

.devcontainer/DockerFile

@@ -0,0 +1,3 @@
+FROM haskell:9.8
+RUN apt update && apt install emacs -y
+RUN cabal update && cabal install Agda-2.6.3

.devcontainer/devcontainer.json

@@ -0,0 +1,16 @@
+{
+    "name": "Agda",
+    "build" : {
+        "dockerfile": "DockerFile"
+    },
+    "workspaceMount": "source=${localWorkspaceFolder},target=/root/plfa,type=bind",
+    "workspaceFolder": "/root/plfa",
+    "postCreateCommand": "bash ./.devcontainer/post-create.sh",
+    "customizations": {
+        "vscode": {
+            "extensions": [
+                "banacorn.agda-mode"
+            ]
+        }
+    }
+}

.devcontainer/post-create.sh

@@ -0,0 +1,9 @@
+cd ~/plfa && git submodule update --init --recursive
+
+mkdir  ~/.agda
+cp ~/plfa/data/dotagda/* ~/.agda
+
+agda-mode setup
+agda-mode compile
+
+cat ~/plfa/.devcontainer/.emacs >> ~/.emacs