@hackage dec0.0.6

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.12.0.0 && <4.21
- boring >=0.2.2 && <0.3
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)