This is a prototype implementation of the control operators shift and reset as user-defined
extensions in Cur.
This is the implementation for the HOPE 2017 Talk Only Control Effects and Dependent Types.
Clone the repository and run make install.
Alternatively, run raco pkg install https://github.com/wilbowma/cur-control.
See cur/control/shift-reset-cbv.rkt for examples.
The current implementation only internalizes type-level contexts, so it is not useful
for programming as you may expect of shift/reset.
Proper documentation and usage guides to come.