ghc-adjunctions
Adjunctions and representable functors

Adjunctions and representable functors.

BSD-2-Clause

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...