Changelog for FiniteCategories-0.5.0.0
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.
0.3.0.1 -- 2023-09-29
- Broadening range of text bounds.
0.4.0.0 -- 2023-10-10
- Broadening range of base bounds.
0.5.0.0 -- 2023-10-10
- Better bounds