ghc-profunctors
No description set
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Leap:42.2/ghc-profunctors && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| ghc-profunctors.changes | 0000001525 1.49 KB | |
| ghc-profunctors.spec | 0000002227 2.17 KB | |
| profunctors-5.2.tar.gz | 0000023236 22.7 KB |
Revision 3 (latest revision is 4)
Ludwig Nussel (lnussel_factory)
accepted
request 402532
from
Ondřej Súkup (mimi_vx)
(revision 3)
- update to 5.2
* Renamed Cotambara to TambaraChoice and Pastro to PastroChoice.
* Added a true Cotambara and Copastro construction for (co)freely generating
costrength, along with CotambaraSum and CopastroSum variants.
* Engaged in a fair bit of bikeshedding about the module structure for lesser used
modules in this package.
- update to 5.1.2
* Added Prep and Coprep along with witnesses to the adjunctions
Prep -| Star : [Hask,Hask] -> Prof and Coprep -| Costar : [Hask,Hask]^op -> Prof.
Comments 0