@hackage / decidable

Combinators for manipulating dependently-typed predicates.

0.3.1.1

Security Advisories

No advisories found.