[Dok Melody Scratchpad Notes]

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.