A functional programming language based on algebraic effects and their handlers. - View it on GitHub