validity 0.1.1

Encode the validity of your data in the type system
Documentation