dok/paper/resugaring-lifting-evaluation
Mantain a relation between a rich sugared syntax and the core syntax. Useful for the editor.
[1] J. Pombrio and S. Krishnamurthi, “Resugaring: Lifting Evaluation Sequences through Syntactic Sugar,” p. 11.
Mantain a relation between a rich sugared syntax and the core syntax. Useful for the editor.
[1] J. Pombrio and S. Krishnamurthi, “Resugaring: Lifting Evaluation Sequences through Syntactic Sugar,” p. 11.