Idris 2 — δείγμα κώδικα — DedSec Project
module Hello main : IO () main = putStrLn "Hello, Ada!"
Αναφορά πηγαίου κώδικα
module Hello
main : IO ()
main = putStrLn "Hello, Ada!"
module Hello main : IO () main = putStrLn "Hello, Ada!"
module Hello
main : IO ()
main = putStrLn "Hello, Ada!"