Navigation:
Browse pkgsrc
(this page)| 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-30 12:16:37 by Masatake Daimon | Files touched by this commit (2) |
Log message: devel/hs-dependent-sum: 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-26 17:03:39 by Masatake Daimon | Files touched by this commit (5) |
Log message: devel/hs-dependent-sum: Update to 0.7.2.0 0.7.2.0 - 2022-12-22 * Update to some-1.0.4.* 0.7.1.1 - 2022-12-12 * Support constraints-extras 0.4 |
| 2022-02-26 04:58:36 by Masatake Daimon | Files touched by this commit (872) |
Log message: Bump all Haskell packages after enabling "split sections" in mk/haskell.mk |
| 2022-02-16 06:06:29 by Masatake Daimon | Files touched by this commit (6) |
Log message: devel/hs-dependent-sum: import hs-dependent-sum-0.7.1.0 A dependent sum is a generalization of a particular way of thinking about the Either type. Either a b can be thought of as a 2-tuple (tag, value), where the value of the tag determines the type of the value. In particular, either tag = Left and value :: a or tag = Right and value :: b. This package allows you to define your own dependent sum types by using your own "tag" types. |
New packages: