dec
Decidable propositions.
Version on this page: | 0.0.5@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.5@sha256:70aa9954fa66d6690eb5396342a770c24df01925d880609edcc98b97db31cfee,1468
Module documentation for 0.0.5
- Data
- Data.Type
Depends on 2 packages(full list with versions):
Used by 3 packages in lts-20.26(full list with versions):