Commit 2023-02-27 10:46 219bbfb8

View on Github →

feat: port CategoryTheory.Monoidal.Functorial (#2504)

Estimated changes