@hackage / adjunctions

Adjunctions and representable functors

Latest4.4.4

Dependencies