The latest version of predicate-typed is 0.7.4.5-0.
predicate-typed
Version 0.7.0.0 revision 0 uploaded by gbwey.
Package meta
- Synopsis
- Predicates, Refinement types and Dsl
- Description
Please see the README on GitHub at https://github.com/gbwey/predicate-typed#readme
- Author
- gbwey
- Bug reports
- https://github.com/gbwey/predicate-typed/issues
- Category
- Data
- Copyright
- 2019 Grant Weyburne
- Homepage
- https://github.com/gbwey/predicate-typed#readme
- Maintainer
- gbwey
- Package URL
- n/a
- Stability
- n/a