com.victorivri:root_2.12 (maven): Programming is an exercise in linguistics; spice-up Scala types with Adjective.
Keywords: constraint-satisfaction|refinement|refinement-types|validation