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

Ei virallista pakettia saatavilla: openSUSE Leap 16.0

Jakelut

openSUSE Tumbleweed

virallinen julkaisu Viralliset
0.0.6
Expert Download

openSUSE Leap 16.0

openSUSE Leap 15.6

SLFO 1.2

Ei-tuetut jakelut

Seuraavia jakeluja ei virallisesti tueta. Käytä näitä paketteja omalla vastuullasi.