From 2edb8f4f6858ba5ae9455557786627fb66b0bc12 Mon Sep 17 00:00:00 2001
From: "Andika D. Riyandi" <andika.riyan@gmail.com>
Date: Tue, 30 Oct 2018 08:37:20 +0700
Subject: [PATCH] adding hello world in Agda

---
 HelloWorld.agda | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 HelloWorld.agda

diff --git a/HelloWorld.agda b/HelloWorld.agda
new file mode 100644
index 0000000..31df071
--- /dev/null
+++ b/HelloWorld.agda
@@ -0,0 +1,6 @@
+module helloworld where
+
+fromString = fromColist . toCostring
+
+main : IO Unit
+main = putStrLn (fromString "Hello, World!")
\ No newline at end of file