on d66da21 help sign in
Idris-dev/examples/hello.idr
5 lines 57 B history raw
1module Main
3main : IO ()
4main = putStrLn "Hello world"