dec
Decidable propositions.
LTS Haskell 22.33: | 0.0.6 |
Stackage Nightly 2024-09-07: | 0.0.6 |
Latest on Hackage: | 0.0.6 |
Maintained by Oleg.Grenrus
This version can be pinned in stack with:
dec-0.0.6@sha256:b674a1be34bd6a93f896be3020fccb01ff7be998fbe43d702cc0bdb5dea21191,1347
Module documentation for 0.0.6
- Data
- Data.Type
Depends on 2 packages(full list with versions):
Used by 3 packages in nightly-2024-07-21(full list with versions):