The latest version of predicate-typed is 0.7.4.5-0.
predicate-typed
Version 0.2.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
- Grant Weyburne <gbwey9@gmail.com>
- Bug reports
- https://github.com/gbwey/predicate-typed/issues
- Category
- Data
- Copyright
- Copyright 2019, Grant Weyburne
- Homepage
- https://github.com/gbwey/predicate-typed#readme
- Maintainer
- Grant Weyburne <gbwey9@gmail.com>
- Package URL
- n/a
- Stability
- n/a