@hackage decidable0.1.0.0

Combinators for manipulating dependently-typed predicates.

Categories
License
BSD-3-Clause
Maintainer
justin@jle.im
Links
Versions
- 0.3.1.1 Wed, 28 Feb 2024
- 0.3.1.0 Tue, 4 Jul 2023
- 0.3.0.0 Mon, 3 Feb 2020
- 0.2.1.0 Sat, 24 Aug 2019
- 0.2.0.0 Tue, 13 Aug 2019
- 0.1.5.0 Wed, 6 Mar 2019

Installation
In your cabal file:
Tested Compilers
- 8.6.5
- 8.6.4
- 8.6.3
- 8.6.2
- 8.6.1
- 8.4.4
- 8.4.3
- 8.4.2
- 8.4.1
Dependencies (2)
- base >=4.11 && <5
- singletons >=2.4
Dependents (2)
@hackage/list-witnesses, @hackage/acme-everything

Please see the README on GitHub at https://github.com/mstksg/decidable#readme