profunctor-composition topic

List profunctor-composition repositories

735

Stars

Forks

Watchers

An axiom-free formalization of category theory in Coq for personal study and practical work