typelevel / discipline

Flexible law checking for Scala
328Updated this week

Related projects: