io.typechecked:numerology_sjs0.6_2.12 (maven): numerology
Keywords: functional-programming|nat|scala|shapeless|typelevel-programming