decidable-0.3.1.0: Combinators for manipulating dependently-typed predicates.

Index - -

-->Data.Type.Predicate
-->#Data.Type.Predicate
-?>Data.Type.Predicate
-?>#Data.Type.Predicate