Dalphanet introduces quite a few new primitives and types.
What are these primitives and types? What are their typing rules?
Tezos Stack Exchange is a question and answer site for users, experts, and developers of the Tezos blockchain project. It only takes a minute to sign up.
Sign up to join this communityDalphanet introduces quite a few new primitives and types.
What are these primitives and types? What are their typing rules?
The following Agora post contains a summary of Michelson changes for this 007 protocol proposal: https://forum.tezosagora.org/t/state-of-the-languages/1559/7.
I think that the protocol currently being used in Dalphanet contains all the mentioned features except tickets (that are being finalized).