@hackage / decidable

Combinators for manipulating dependently-typed predicates.

0.3.1.1

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / list-witnesses Witnesses for working with type-level lists
- Version: 0.1.4.1
- Last uploaded: 2 years ago
- License: BSD-3-Clause