Skip to content

yangdinglou/Lightweight-Resugaring-using-PLT-Redex

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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?

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •