diff --git a/a/agda.agda b/a/agda.agda
new file mode 100644
index 00000000..147c3610
--- /dev/null
+++ b/a/agda.agda
@@ -0,0 +1,4 @@
+module agda where
+open import IO
+
+main = run (putStrLn "Hello World")