mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-20 04:02:27 +00:00
4 lines
84 B
Plaintext
4 lines
84 B
Plaintext
Adjunctions and representable functors.
|
|
|
|
WWW: https://github.com/ekmett/adjunctions
|