JonasHoefer / scoped-effects-agda

An implementation of scoped algebraic effects and handlers in Agda.

Geek Repo

Github PK Tool