Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- module Main
- main : IO ()
- main = putStrLn "Hello world"
- ~$ idris hello.idr -o hello
- ~$ ./hello
- Hello world
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement