freebsd-ports/math/hs-adjunctions/pkg-descr
2016-12-02 09:21:58 +00:00

3 lines
85 B
Text

Adjunctions and representable functors.
WWW: https://github.com/ekmett/adjunctions/