connective Not imported
combine predicate (bool returning) functions with propositional logic connectives (and, or, not)
Import to Registry
This package is not yet in the vetted registry. Import it to start the review process.
1.0.0
Latest Version
MIT
License
1
Published Versions
0
Dependencies
Keywords
functionalpredicatehigher order functionsbooleanpropositionallogic
Published Versions
| Version |
|---|
| 1.0.0 |