tricu

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

8802318b7919f8b41c22e3e7d091540a279a1e8dc2506e8048aa42df7d1849a9.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 "")))