Prototype implementation for "Hygienic Resugaring of Compositional Desugaring", ICFP'15.
Makefile
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
README.md
atom.arr
makefile
port-test.arr
sugar.arr
term.arr
tests.arr
util.arr

README.md

hygienic-resugaring

Prototype implementation for "Hygienic Resugaring of Compositional Desugaring", ICFP'15.

To run the tests: