Artemis Tosini
cdab9d90a1
Strange size things (i7 in llvm) Hellp world in idris A rolldice test pppassword changes to add b
5 lines
56 B
Idris
5 lines
56 B
Idris
module Main
|
|
|
|
main : IO ()
|
|
main = putStrLn "Hallo, Welt"
|