Skip to content

Apply typed contracts through named assemblies - #186

Open
MarcIlunga wants to merge 2 commits into
codex/human-authoring-179-fresh-repliesfrom
codex/human-authoring-180-contracts
Open

Apply typed contracts through named assemblies#186
MarcIlunga wants to merge 2 commits into
codex/human-authoring-179-fresh-repliesfrom
codex/human-authoring-180-contracts

Handle annotated goals in substitution calculations

a2ac238
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar