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