nustack

Foundations

Nu is a concrete shape of the interaction model. The most primitive Nu thing is the Nu element:

Nu = Ref | Interaction

A Nu program is built by composing Nu elements: an Interaction takes Refs (and other Interactions) as children. Evaluating a composition updates Context.