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
- Data
- Type
This package provides a Dec
type.
type Not a = a -> Void data Dec a = Yes a | No (Not a)
Signatures
Modules