Skip to content

formalization: verify Ix.Tc and establish the Ixon v2 compiler refinement path - #594

Open
johnchandlerburnham wants to merge 16 commits into
mainfrom
jcb/ix-formalization3
Open

formalization: verify Ix.Tc and establish the Ixon v2 compiler refinement path#594
johnchandlerburnham wants to merge 16 commits into
mainfrom
jcb/ix-formalization3

ixvm: consume Ixon v2 binder modes

1d9242e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar