tricu

A lazy functional language based on Tree Calculus
Log | Files | Refs | README | LICENSE

40783b2c9c5750583151dda9d04b435d3d0d8a63b6f33cccfa94fd8ed958c14a.tri (253B)


      1 !import io_v2 as IO
      2 !import io_v2_text as Text
      3 !export main
      4 -- Explicit v2 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 "")))