greet.tri (244B)
1 !import io as IO 2 !import io_text as Text 3 !export main 4 -- Explicit output, with ordinary write failure checked before success. 5 main = IO.io (IO.require IO.stdout (writer : 6 IO.require (Text.writeText writer "Hello, tricu\n") (_ : IO.pure "")))