Commit 2023-07-01 16:46 c85e6ad4

View on Github →

feat: port Algebra.Category.Mon.Adjunctions (#5648)

Estimated changes

added def adj
added def adjoinOne
added def adjoinOneAdj
added def free