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