pkg-descr « hs-kan-extensions « math - freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/math/hs-kan-extensions/pkg-descr

blob: 18419174b1c0dfd315a41d547b1e50c3b63bb607 (plain) (blame)

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density
(co)monads.

WWW: https://github.com/ekmett/kan-extensions/