ghc-dec
Decidable propositions
This package provides a 'Dec' type. ' type Neg a = a -> Void data Dec a = Yes a | No (Neg a) '.
Der er ikke nogen officiel pakke tilgængelig til openSUSE Leap 16.0Distributioner
openSUSE Tumbleweed
openSUSE Leap 16.0
openSUSE Leap 15.6
SLFO 1.2
Ikke-supporterede distributioner
Der ydes ikke support til følgende distributioner. Brug pakkerne på egen risiko.