@hackage formal0.1.0

A statically typed, functional programming language