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