@hackage Frank0.0

An experimental programming language with typed algebraic effects

An experimental programming language with typed algebraic effects