@hackage / Frank

An experimental programming language with typed algebraic effects