@hackage / formal

A statically typed, functional programming language