./devel/hs-dec, Decidable propositions

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 0.0.5nb4, Package name: hs-dec-0.0.5nb4, Maintainer: pkgsrc-users

This 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)

CVS history: (Expand)


   2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141) 
Log message:
Revbump all Haskell after updating lang/ghc96
   2023-10-29 10:37:26 by Masatake Daimon | Files touched by this commit (2) 
Log message:
devel/hs-dec: Fix build with GHC 9.6
   2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988) 
Log message:
Bump Haskell packages after updating lang/ghc94
   2023-01-29 05:43:43 by Masatake Daimon | Files touched by this commit (5) 
Log message:
devel/hs-dec: import hs-dec-0.0.5

This package provides a Dec type.

  type Neg a = a -> Void

  data Dec a
      = Yes a
      | No (Neg a)