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