Revision history for FiniteCategories

0.1.0.0 -- 2022-03-21

• First version.

0.2.0.0 -- 2023-03-13

• Separation between Category and FiniteCategory typeclasses, new architecture for the project, Kan extensions, etc.

0.3.0.0 -- 2023-09-29

• Splitting the package with FiniteCategoriesGraphViz. Colimit of composition graphs.