diff --git a/.dockerignore b/.dockerignore
new file mode 100644
index 0000000..72e8ffc
--- /dev/null
+++ b/.dockerignore
@@ -0,0 +1 @@
+*
diff --git a/.gitignore b/.gitignore
index c49d245..6907758 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,4 +21,5 @@ pnpm-debug.log*
 .DS_Store
 
 PragmataPro-Mono-Liga-Regular-Nerd-Font-Complete.woff2
-*.agdai
\ No newline at end of file
+*.agdai
+_build
diff --git a/utils/agda.Dockerfile b/utils/agda.Dockerfile
new file mode 100644
index 0000000..1623957
--- /dev/null
+++ b/utils/agda.Dockerfile
@@ -0,0 +1,3 @@
+FROM        fpco/stack-build:lts-21
+LABEL author="Ting-Gian LUA <banacorn@gmail.com>"
+RUN stack --resolver=lts-21.13 install Agda-2.6.4 EdisonCore-1.3.2.1 data-hash-0.2.0.1 equivalence-0.3.4 geniplate-mirror-0.7.6 EdisonAPI-1.3.1 STMonadTrans-0.4.3