README #16

gdmcbain · Nov 7, 2023 · 2609620 · 2609620
1 parent 579b7c1
commit 2609620
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/agda/README.md b/agda/README.md
@@ -0,0 +1,7 @@
+# Agda
+
+## Build
+
+```PowerShell
+docker image build -t gdmcbain/agda:0.1.0 .
+```