5 lines
70 B
Agda
Executable File
5 lines
70 B
Agda
Executable File
module agda where
|
|
open import IO
|
|
|
|
main = run (putStrLn "Hello World")
|