ghc-dec
Decidable propositions
This package provides a 'Dec' type. ' type Neg a = a -> Void data Dec a = Yes a | No (Neg a) '.
Non è disponibile alcun pacchetto ufficiale per openSUSE Leap 16.0Distribuzioni
openSUSE Tumbleweed
openSUSE Leap 16.0
openSUSE Leap 15.6
SLFO 1.2
Distribuzioni non supportate
Le seguenti distribuzioni non sono ufficialmente supportate. Usare questi pacchetti a proprio rischio.