JonasHoefer/scoped-effects-agda

An implementation of scoped algebraic effects and handlers in Agda.

语言：TeX · GitHub 星标：18 · Fork：0

话题：agda · algebraic-effects · bachelor-thesis · scoped-effects

在 GitHub 上查看原仓库