Idris 2 — reference sample — DedSec Project
module Hello main : IO () main = putStrLn "Hello, Ada!"
Source reference
module Hello
main : IO ()
main = putStrLn "Hello, Ada!"
module Hello main : IO () main = putStrLn "Hello, Ada!"
module Hello
main : IO ()
main = putStrLn "Hello, Ada!"