Revisions of ghc-profunctors
Ludwig Nussel (lnussel)
committed
(revision 4)
vrev freeze
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.
Adrian Schröter (adrianSuSE)
committed
(revision 2)
fork from 42.1
Displaying all 4 revisions