The latest version of dec is 0.0.6-0.
dec
Version 0.0.4 revision 0 uploaded by phadej.
Package meta
- Synopsis
- Decidable propositions.
- Description
This package provides a
Dectype.type Neg a = a -> Void data Dec a = Yes a | No (Neg a)- Author
- Oleg Grenrus <oleg.grenrus@iki.fi>
- Bug reports
- https://github.com/phadej/vec/issues
- Category
- Data, Dependent Types
- Copyright
- (c) 2019-2021 Oleg Grenrus
- Homepage
- https://github.com/phadej/vec
- Maintainer
- Oleg.Grenrus <oleg.grenrus@iki.fi>
- Package URL
- n/a
- Stability
- n/a