[pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

Author: pre-commit-ci[bot]

.devcontainer/DockerFile

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

.devcontainer/devcontainer.json

@@ -13,4 +13,4 @@
             ]
         }
     }
-}
+}

.devcontainer/post-create.sh

@@ -6,4 +6,4 @@ cp ~/plfa/data/dotagda/* ~/.agda
 agda-mode setup
 agda-mode compile
 
-cat ~/plfa/.devcontainer/.emacs >> ~/.emacs
+cat ~/plfa/.devcontainer/.emacs >> ~/.emacs