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

非公式のディストリビューション

下記のディストリビューションは、公式にはサポートされていないものです。これらのパッケージは自己責任でお使いください。