Package0.0.6DataDependent Types
dec
Decidable propositions.
- Version0.0.6
- CategoryData, Dependent Types
- LicenceBSD-3-Clause
- AuthorOleg Grenrus <oleg.grenrus@iki.fi>
- MaintainerOleg.Grenrus <oleg.grenrus@iki.fi>
- Homepagegithub.com/phadej/dec
- Pinned byhackage dec 0.0.6
- Sourcehackage.haskell.org/package/dec-0.0.6
Modules
1 moduleDescription
This package provides a Dec type.
type Neg a = a -> Void data Dec a = Yes a | No (Neg a)
Depends on
2 packages- base-4.22.0.0with GHC
- boring-0.2.2.1in this set