Path to this page:
./
devel/hs-dec,
Decidable propositions
Branch: CURRENT,
Version: 0.0.5nb4,
Package name: hs-dec-0.0.5nb4,
Maintainer: pkgsrc-usersThis package provides a Dec type.
type Neg a = a -> Void
data Dec a
= Yes a
| No (Neg a)
Master sites:
Filesize: 3.148 KB
Version history: (Expand)
- (2024-05-09) Updated to version: hs-dec-0.0.5nb4
- (2023-11-02) Updated to version: hs-dec-0.0.5nb3
- (2023-10-09) Updated to version: hs-dec-0.0.5nb2
- (2023-02-09) Updated to version: hs-dec-0.0.5nb1
- (2023-01-29) Package added to pkgsrc.se, version hs-dec-0.0.5 (created)
CVS history: (Expand)