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

Index - |

||^Data.Type.Predicate.Logic
|||Data.Type.Predicate.Logic