advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models
Other
203 stars 25 forks source link

Rename (not)Elem to (not)Member and generalise it to Foldable. #276

Closed stevana closed 5 years ago

stevana commented 5 years ago

Closes #241.