Apply typed contracts through named assemblies - #186

Apply typed contracts through named assemblies#186

MarcIlunga wants to merge 2 commits into

codex/human-authoring-179-fresh-repliestrailofbits/constructive-cryptography:codex/human-authoring-179-fresh-repliesfrom

codex/human-authoring-180-contractstrailofbits/constructive-cryptography:codex/human-authoring-180-contractsCopy head branch name to clipboard