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) '.

openSUSE Leap 16.0 jaoks pole ametlikku paketti saadaval

Väljalasked

openSUSE Tumbleweed

ametlik väljalase Ametlik
0.0.6
Expert Download

openSUSE Leap 16.0

openSUSE Leap 15.6

SLFO 1.2

Mittetoetatud distrod

Järgmisi distrosid ametlikult ei toetata. Kasutage neid pakette omal vastutusel.