ghc-dec
Decidable propositions

This package provides a 'Dec' type. ' type Neg a = a ->Void data Dec a = Yes a | No (Neg a) '.

BSD-3-Clause

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...