https://github.com/norfairking/easyspec

Signature inference for Functional Property Discovery in Haskell
https://github.com/norfairking/easyspec

haskell property-testing quickcheck quickspec

Last synced: about 2 months ago
JSON representation

Signature inference for Functional Property Discovery in Haskell

• Host: GitHub
• URL: https://github.com/norfairking/easyspec
• Owner: NorfairKing
• License: bsd-3-clause
• Created: 2017-02-26T21:06:20.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-09-17T10:58:32.000Z (over 7 years ago)
• Last Synced: 2024-05-01T12:37:40.196Z (8 months ago)
• Topics: haskell, property-testing, quickcheck, quickspec
• Language: Haskell
• Homepage:
• Size: 1.18 MB
• Stars: 36
• Watchers: 8
• Forks: 2
• Open Issues: 1

Awesome Lists containing this project