Giters

Ekdohibs / joujou

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

Ekdohibs/joujou Stargazers