tricu

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

escape-receiver.scp (145B)


      1 -- Attempt to resolve the caller-owned secret receiver from helper scope.
      2 consumer entry
      3   input @ _ => (1, ("Echo", (input, ("secret", leaf))))