Contents

module agda where
open import IO

main = run (putStrLn "Hello World")

Version data entries

7 entries across 7 versions & 1 rubygems

Version	Path
language_templates-0.1.5.2	bin/languages/a/agda.agda
language_templates-0.1.5.1	bin/languages/a/agda.agda
language_templates-0.1.5	bin/languages/a/agda.agda
language_templates-0.1.4	bin/languages/a/agda.agda
language_templates-0.1.3	bin/languages/a/agda.agda
language_templates-0.1.2	bin/languages/a/agda.agda
language_templates-0.1.1	bin/languages/a/agda.agda