dec
Decidable propositions.
Version on this page: | 0.0.4@rev:1 |
LTS Haskell 22.39: | 0.0.6 |
Stackage Nightly 2024-10-31: | 0.0.6 |
Latest on Hackage: | 0.0.6 |
Maintained by Oleg.Grenrus
This version can be pinned in stack with:
dec-0.0.4@sha256:0367be8f7c5865c9a4d9fa6205f98b804ef59eee1207833dc14a4864f5b1b107,1401
Module documentation for 0.0.4
- Data
- Data.Type
Depends on 1 package(full list with versions):
Used by 3 packages in nightly-2022-08-02(full list with versions):