Tina, a programming language with typed algebraic effects and handlers.
Primary LanguageOCamlMIT LicenseMIT
No one’s star this repository yet.