Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected about 1 year ago.
Jan 17, 2023 — Jan 17, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Revert "split categories out of category-extras"
Edward Kmett
as ekmett
More... over 14 years ago
split categories out of category-extras
Edward Kmett
as ekmett
More... over 14 years ago
Flattened directory structure. Required type families
Edward Kmett
as ekmett
More... over 14 years ago
lowerAlgebra/lowerCoalgebra
Edward Kmett
as ekmett
More... over 14 years ago
Applicative Lift (,)
Edward Kmett
as ekmett
More... over 16 years ago
added dyads and allegories (oops!)
Edward Kmett
as ekmett
More... over 16 years ago
The exponent comonad
Edward Kmett
as ekmett
More... over 16 years ago
0.53.3a
Edward Kmett
as ekmett
More... over 16 years ago
synchromorphism cleaned up
Edward Kmett
as ekmett
More... over 16 years ago
Added Martin Erwig's morphisms and prepro/postpromorphisms
Edward Kmett
as ekmett
More... over 16 years ago
prepromorphisms
Edward Kmett
as ekmett
More... over 16 years ago
0.52.3b
Edward Kmett
as ekmett
More... over 16 years ago
0.52.3
Edward Kmett
as ekmett
More... over 16 years ago
Representable adjunctions
Edward Kmett
as ekmett
More... over 16 years ago
(forgot to register Discrete)
Edward Kmett
as ekmett
More... over 16 years ago
faithful identity and discrete
Edward Kmett
as ekmett
More... over 16 years ago
0.52.1
Edward Kmett
as ekmett
More... over 16 years ago
woops
Edward Kmett
as ekmett
More... over 16 years ago
0.51.2 release
Edward Kmett
as ekmett
More... over 16 years ago
0.51.2
Edward Kmett
as ekmett
More... over 16 years ago
split base fixed
Edward Kmett
as ekmett
More... over 16 years ago
Control.Category for 6.8
Edward Kmett
as ekmett
More... over 16 years ago
doh
Edward Kmett
as ekmett
More... over 16 years ago
0.51.1
Edward Kmett
as ekmett
More... over 16 years ago
0.51.0
Edward Kmett
as ekmett
More... over 16 years ago
cleanup of Elgot
Edward Kmett
as ekmett
More... over 16 years ago
typo fixes. elgot redux
Edward Kmett
as ekmett
More... over 16 years ago
elgot algebras
Edward Kmett
as ekmett
More... over 16 years ago
0.50.2 infix natural transformations
Edward Kmett
as ekmett
More... over 16 years ago
Fighting the cabal
Edward Kmett
as ekmett
More... over 16 years ago