Approved by:	portmgr (blanket)
This commit is contained in:
Sunpoet Po-Chuan Hsieh 2017-06-27 13:32:30 +00:00
parent 9056575a54
commit 1ceae6b0ef
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=444458

View file

@ -1,4 +1,4 @@
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density
(co)monads.
WWW: https://github.com/ekmett/kan-extensions/
WWW: https://github.com/ekmett/kan-extensions