The Frank Programming Language

Frank is a strict, effectful functional programming language with a bidirectional type-and-effect system and effect handlers

Scotland