Contents

module Main

main : IO ()
main = putStrLn "Hello World"

Version data entries

7 entries across 7 versions & 1 rubygems

Version	Path
language_templates-0.1.5.2	bin/languages/i/idris.idr
language_templates-0.1.5.1	bin/languages/i/idris.idr
language_templates-0.1.5	bin/languages/i/idris.idr
language_templates-0.1.4	bin/languages/i/idris.idr
language_templates-0.1.3	bin/languages/i/idris.idr
language_templates-0.1.2	bin/languages/i/idris.idr
language_templates-0.1.1	bin/languages/i/idris.idr