This is a simple interpreter of 𝝺sc, a calculus for scoped effects & handlers.
For more information about 𝝺sc, please refer to the preprint paper.
For the implementation of the interpreter, please refer to the GitHub repository.