Contents

module Main

main : IO ()
main = putStrLn "Hello world!"

Version data entries

10 entries across 7 versions & 1 rubygems

Version	Path
zettacode-0.1.7	files.zettacode/hello_world.text/idris.txt
zettacode-0.1.6	files.zettacode/hello_world.text/idris.txt
zettacode-0.1.6	files.zettacode2/hello_world.text/idris.txt
zettacode-0.1.5	files.zettacode/hello_world.text/idris.txt
zettacode-0.1.5	files.zettacode2/hello_world.text/idris.txt
zettacode-0.1.4	files.zettacode/hello_world.text/idris.txt
zettacode-0.1.4	files.zettacode2/hello_world.text/idris.txt
zettacode-0.1.3	files.zettacode/hello_world.text/idris.txt
zettacode-0.1.2	files.zettacode/hello_world.text/idris.txt
zettacode-0.1.1	zettacode.files/hello_world.text/idris.txt