refine properties for testing Haskell programs
-
Updated
Feb 9, 2024 - Haskell
refine properties for testing Haskell programs
enumerative property-based testing for Haskell
Speculate laws about Haskell functions
generalize counter-examples of property-based testing
LeanCheck support for the Hspec test framework.
LeanCheck support for test-framework.
LeanCheck support for the Tasty test framework (Haskell)
Common LeanCheck instances
Add a description, image, and links to the leancheck topic page so that developers can more easily learn about it.
To associate your repository with the leancheck topic, visit your repo's landing page and select "manage topics."