Equivalence with old-style syntax
Issue #6
new
Show equivalence of our syntax with extrinsically typed syntax, see https://akaposi.github.io/pres_ljubljana.pdf#7.
Show equivalence of our syntax with extrinsically typed syntax, see https://akaposi.github.io/pres_ljubljana.pdf#7.