scoped-effects

There are 0 repository under scoped-effects topic.

• JonasHoefer / scoped-effects-agda

  An implementation of scoped algebraic effects and handlers in Agda.

  agdaalgebraic-effectsscoped-effectsbachelor-thesis
  Language:TeX 11