# 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