dec-0.0.3: Decidable propositions.

dec-0.0.3: Decidable propositions.

This package provides a Dec type.

type Not a = a -> Void

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

Signatures

Modules