dec-0.0.5: Decidable propositions.

This package provides a Dec type.

type Neg a = a -> Void

data Dec a
    = Yes a
    | No (Neg a)