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

Index - =

==>Data.Type.Predicate.Logic