dec: Decidable propositions.
This package provides a Dec
type.
type Neg a = a -> Void data Dec a = Yes a | No (Neg a)
Downloads
- dec-0.0.4.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Versions [RSS] | 0.0.3, 0.0.4 |
---|---|
Change log | ChangeLog.md |
Dependencies | base (>=4.7 && <4.17), void (>=0.7.3 && <0.8) [details] |
License | BSD-3-Clause |
Copyright | (c) 2019-2021 Oleg Grenrus |
Author | Oleg Grenrus <oleg.grenrus@iki.fi> |
Maintainer | Oleg.Grenrus <oleg.grenrus@iki.fi> |
Revised | Revision 1 made by phadej at 2021-12-17T21:07:49Z |
Category | Data, Dependent Types |
Home page | https://github.com/phadej/vec |
Bug tracker | https://github.com/phadej/vec/issues |
Source repo | head: git clone https://github.com/phadej/vec.git(dec) |
Uploaded | by phadej at 2021-02-20T19:38:03Z |
Distributions | Arch:0.0.4, Debian:0.0.3, Fedora:0.0.4, LTSHaskell:0.0.4, NixOS:0.0.4, Stackage:0.0.4, openSUSE:0.0.4 |
Downloads | 13971 total (404 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2021-02-20 [all 1 reports] |