GitHub repository: purescript/purescript-quickcheck-laws
Primary language: PureScript
Description: QuickCheck tests for law abiding core classes