[Pluggable backends Experiment] Explore emiting MSIL bytecode #27
Description
Use STLC or TypeIILC to Verify soundness then emit type erased code as MSIL
{{ message }}
Use STLC or TypeIILC to Verify soundness then emit type erased code as MSIL