ghc-dec
Decidable propositions
This package provides a 'Dec' type. ' type Neg a = a -> Void data Dec a = Yes a | No (Neg a) '.
Il n'y a pas de paquet officiel disponible pour openSUSE Leap 16.0Distributions
openSUSE Tumbleweed
openSUSE Leap 16.0
openSUSE Leap 15.6
SLFO 1.2
Distributions non supportées
Les distributions suivantes ne sont pas officiellement supportées. À utiliser à vos risques et périls.