--- 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 import Stdlib.Prelude open; -- bring comparison operators on Nat into scope import Stdlib.Data.Nat.Ord open; main : IO := printStringLn "Hello world!";Last modified on 2023-10-06 13:21 UTC