QuickCheck extension for higher-order properties
Why do you think that https://github.com/advancedtelematic/quickcheck-state-machine-distributed is a good alternative to quickcheck-higherorder
QuickCheck extension for higher-order properties
Why do you think that https://github.com/advancedtelematic/quickcheck-state-machine-distributed is a good alternative to quickcheck-higherorder