@hackage Frank0.1

An experimental programming language with typed algebraic effects

An experimental programming language with typed algebraic effects