Skip to content

Latest commit

 

History

History
17 lines (13 loc) · 413 Bytes

README.md

File metadata and controls

17 lines (13 loc) · 413 Bytes

Lightweight-Resugaring-using-PLT-Redex

To run the example

Run the code/finalversion/resugar.rkt

To write sugar (in code/finalversion folder)

First, modify language model in model.rkt

  1. Add Grammar rule(Some examples in the function).
  2. Add Reduction rule.
  3. Add Context rule.

Then add expression to resugar.rkt

todolist

  1. call/cc sugar
  2. better discussion in chapter3
  3. content of conclusion?