Commit 2023-09-15 07:16 967f3619
View on Github →feat: define the regular and extensive coverages (#6896) We define the regular and extensive coverages on categories, and define typeclasses with the necessary properties categories need to have to be able to define these coverages.