jrenaud/hello-world
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added Agda

Browse Source
This commit is contained in:
Danny Gratzer
2014-11-23 23:30:56 -05:00
parent 4691aea289
commit f8db530cf6
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
a/agda.agda Normal file
View File

@@ -0,0 +1,4 @@
module agda where
open import IO
main = run (putStrLn "Hello World")