/Lightweight-Resugaring-using-PLT-Redex

Primary LanguageTeX

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?