ekdohibs / joujou Goto Github PK
View Code? Open in Web Editor NEWA 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.
License: Apache License 2.0