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 没有可用的官方软件包

发行版

openSUSE Tumbleweed

官方版本 官方
0.0.6
Expert Download

openSUSE Leap 16.0

openSUSE Leap 15.6

SLFO 1.2

不受支持的发行版

下列发行版未被官方支持。使用这些软件包需要您自担风险。