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

Непідтримувані дистрибутиви

Наступні дистрибутиви офіційно не підтримуються. Використовуйте ці пакунки на власний ризик.