GitHub repository: nick8325/quickspec
Primary language: Haskell
Description: Equational laws for free