@hackage predicate-typed0.6.0.1
Predicates, Refinement types and Dsl
Installation
Dependencies (24)
- QuickCheck
- aeson
- base >=4.7 && <5
- binary
- bytestring
- comonad Show all…
Dependents (0)
Please see the README on GitHub at https://github.com/gbwey/predicate-typed#readme