Home / Input Output / plutus
74 commits this week Aug 13, 2019 - Aug 20, 2019
CK machine steps preserve the top level type of the state
the top level type should correspond to the type of the thing you get if you reassemble to term from a state.
- this currently concerns the intrinsically typed implementation
- added top level type and type of hole to stack and state
- it’s unproven that you can reassemble a state back into a term