ghc-dec

ghc-dec

Decidable propositions

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

There is no official package available for openSUSE Leap 16.0

Distributions

openSUSE Tumbleweed

official release Official
0.0.6
Expert Download

openSUSE Leap 16.0

openSUSE Leap 15.6

SLFO 1.2

Unsupported distributions

The following distributions are not officially supported. Use these packages at your own risk.