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