karpal-free 0.2.0

Free constructions (Coyoneda, Yoneda) for the Industrial Algebra ecosystem
Documentation