ghc-dec
Decidable propositions
This package provides a 'Dec' type. ' type Neg a = a -> Void data Dec a = Yes a | No (Neg a) '.
Não existe pacote oficial disponível para openSUSE Leap 16.0Distribuições
openSUSE Tumbleweed
openSUSE Leap 16.0
openSUSE Leap 15.6
SLFO 1.2
Distribuições não suportadas
As distribuições a seguir não são oficialmente suportadas. Use esses pacotes por sua conta e risco.