@hackage dec0.0.3

Decidable propositions.

Categories
License
BSD-3-Clause
Maintainer
Oleg.Grenrus <oleg.grenrus@iki.fi>
Links
Versions
- 0.0.6 Fri, 17 May 2024
- 0.0.5 Tue, 24 Oct 2023
- 0.0.4 Fri, 17 Dec 2021
- 0.0.3 Wed, 25 Mar 2020

Installation
In your cabal file:
Tested Compilers
Dependencies (2)
- base >=4.7 && <4.15
- void >=0.7.2 && <0.8
Dependents (4)
@hackage/singleton-bool, @hackage/bin, @hackage/boring, @hackage/fin

This package provides a Dec type.

type Neg a = a -> Void

data Dec a
    = Yes a
    | No (Neg a)