Navigation:
Browse pkgsrc
(this page)| 2024-05-09 03:32:57 by Masatake Daimon | Files touched by this commit (1137) |
Log message: Recursive revbump after changing the default Haskell compiler |
| 2024-05-03 09:59:31 by Masatake Daimon | Files touched by this commit (1) |
Log message: math/hs-kan-extensions: Fix build with GHC 9.8 This breaks build with the currently default GHC 9.6. Please bear with me until I switch the default compiler. |
| 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 17:20:11 by Masatake Daimon | Files touched by this commit (2) |
Log message: math/hs-kan-extensions: 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-28 03:21:15 by Masatake Daimon | Files touched by this commit (4) |
Log message: math/hs-kan-extensions: Update to 5.2.5 5.2.5 [2022.06.26] * Only require a Functor constraint in the Eq and Ord instances for Coyoneda when building against transformers-0.4.*. 5.2.4 [2022.05.07] * Allow building with transformers-0.6.* and mtl-2.3.*. |
| 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 10:59:14 by Masatake Daimon | Files touched by this commit (5) |
Log message: math/hs-kan-extensions: import hs-kan-extensions-5.2.3 This package provides tools for working with various Kan extensions and Kan lifts in Haskell. Among the interesting bits included are: * Right and left Kan extensions (Ran and Lan) * Right and left Kan lifts (Rift and Lift) * Multiple forms of the Yoneda lemma (Yoneda) * The Codensity monad, which can be used to improve the asymptotic complexity of code over free monads (Codensity, Density) * A "comonad to monad-transformer transformer" that is a special case of a right Kan lift. (CoT, Co) |
New packages: