predicate-typed: Predicates, Refinement types and Dsl
Please see the README on GitHub at https://github.com/gbwey/predicate-typed#readme
Modules
[Index] [Quick Jump]
Downloads
- predicate-typed-0.7.2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates