--- This is an advanced tutorial for the Juvix programming language. You should read
--- the "Quick start" and the "Learn Juvix in minutes" pages in the documentation
--- first.
module Tutorial;

-- import the standard library prelude and bring it into scope
open import Stdlib.Prelude;
-- bring comparison operators on Nat into scope
open import Stdlib.Data.Nat.Ord;

main : IO;
main := printStringLn "Hello world!";