Tina, a programming language with typed algebraic effects and handlers.
Primary LanguageOCamlMIT LicenseMIT
No issues in this repository yet.