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

Er is geen officieel pakket voor openSUSE Leap 16.0 beschikbaar

Distributies

openSUSE Tumbleweed

officiële uitgave Officieel
0.0.6
Expert Download

openSUSE Leap 16.0

openSUSE Leap 15.6

SLFO 1.2

Niet-ondersteunde distributies

Volgende distributies worden niet officieel ondersteund. Gebruik deze pakketten op eigen risico.