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 - Sourcedec-0.
0. 6 on Hackage
Modules
Description
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