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