tricu

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

c948d33d35cc38027a1bab745e27375b1e3ceeb1804d481450fc8dc6661cb234.tri (247B)

      1 !import io as IO
      2 !import io_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 "")))