A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool