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

不支援的發行版本

下列發行版本並未被官方支援。使用這些套件需要自行承擔風險。