From f8db530cf6305ef324fe2a63fb98aa2c76096383 Mon Sep 17 00:00:00 2001
From: Danny Gratzer <jozefg@cmu.edu>
Date: Sun, 23 Nov 2014 23:30:56 -0500
Subject: [PATCH] Added Agda

---
 a/agda.agda | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 a/agda.agda

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")