dec
Decidable propositions.
Version on this page: | 0.0.3@rev:1 |
LTS Haskell 23.7: | 0.0.6@rev:1 |
Stackage Nightly 2025-02-07: | 0.0.6@rev:1 |
Latest on Hackage: | 0.0.6@rev:1 |
Maintained by Oleg.Grenrus
This version can be pinned in stack with:
dec-0.0.3@sha256:c0a3ddaf4c989e2a3d83f91dbe0e70db75a16aad9b24ab8312ceab8af9f2b325,1131
Module documentation for 0.0.3
- Data
- Data.Type
Depends on 1 package(full list with versions):
Used by 3 packages in lts-14.27(full list with versions):