projects
/
dports.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blame
|
history
|
raw
|
HEAD
Tweak devel/adime version 2.2.1_3
[dports.git]
/
math
/
hs-kan-extensions
/
pkg-descr
1
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density
2
(co)monads.
3
4
WWW: http://github.com/ekmett/kan-extensions/