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