tricu

An interpreted language for exploring Tree Calculus
Log | Files | Refs | README | LICENSE

state-finish.scp (220B)

      1 -- Effect protocol baseline: receiver state is passed by the driver.
      2 consumer stateFinish
      3   (1, result)  @ (worker, tag) => call worker (result, tag) as value in (0, value)
      4   (0, problem) @ _             => (0, problem)