dec
Decidable propositions.
Version on this page: | 0.0.3@rev:2 |
LTS Haskell 22.34: | 0.0.6 |
Stackage Nightly 2024-09-20: | 0.0.6 |
Latest on Hackage: | 0.0.6 |
Maintained by Oleg.Grenrus
This version can be pinned in stack with:
dec-0.0.3@sha256:1a822a19129c1eca8d12a85e4d6fdc77625016ea6c3e8ce30f8d32e0972faeec,1180
Module documentation for 0.0.3
- Data
- Data.Type
Depends on 1 package(full list with versions):
Used by 4 packages in lts-16.11(full list with versions):