ebresafegaga/tina

Tina, a programming language with typed algebraic effects and handlers.

语言：OCaml · GitHub 星标：13 · Fork：1

话题：algebraic-effects · bidirectional-typechecking · compiler · cps · effect-handlers · effect-system · effects · interpreter

在 GitHub 上查看原仓库