dec
Decidable propositions.
Version on this page: | 0.0.5@rev:2 |
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.5@sha256:1044421ac555d062a843865b06941b8c744261e122930f680524c0bd2095b6ed,1482
Module documentation for 0.0.5
- Data
- Data.Type
Depends on 2 packages(full list with versions):
Used by 3 packages in nightly-2024-02-11(full list with versions):