Merge pull request #156 from jozefg/master

Added Agda
2015-04-12 13:33:02 -04:00
parent 565c50ed6c f8db530cf6
commit 2f8981e95c
1 changed files with 4 additions and 0 deletions
--- a/a/agda.agda
+++ b/a/agda.agda
@@ -0,0 +1,4 @@
+module agda where
+open import IO
+
+main = run (putStrLn "Hello World")