org.typelevel:discipline_2.12.0-RC1 (maven): discipline
Keywords: property-based-testing|scala|typelevel