| title | discipline |
|---|---|
| category | Flexible law checking |
| description | Originally intended for internal use in spire, this library helps libraries declaring type classes to precisely state the laws which instances need to satisfy, and takes care of not checking derived laws multiple times. |
| github | https://github.com/typelevel/discipline |