dec
Decidable propositions.
Version on this page: | 0.0.3@rev:1 |
LTS Haskell 22.21: | 0.0.5@rev:2 |
Stackage Nightly 2024-05-11: | 0.0.5@rev:2 |
Latest on Hackage: | 0.0.5@rev:2 |
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 nightly-2019-12-06(full list with versions):