Functions And Revisions

Functions use ordinary typed parameters and expressions. Reads, writes, suspension, and effects are inferred from the semantic body.

Every function has stable identity and immutable executable revisions. Renaming preserves identity. Changing a body creates a revision. Work already admitted remains pinned to the revision it started with while new work may use a later revision.