A hello world program in Idris might look like this: module Main main : IO () main = putStrLn "Hello, World!"
Un Program Hello, world! în Idris ar putea arăta astfel: module Main main : IO () main = putStrLn "Hello, World!"