/scoped-effects-agda

An implementation of scoped algebraic effects and handlers in Agda.

Primary LanguageTeX

Watchers