Typed proof vocabulary shared by replicated Mere domains.
P2panda operation hashes remain operation identities. These types name application commitments and content references explicitly so callers cannot silently exchange one meaning for another.
Typed proof vocabulary shared by replicated Mere domains.
P2panda operation hashes remain operation identities. These types name application commitments and content references explicitly so callers cannot silently exchange one meaning for another.