data-category-0.7.1: Category theory

Index - %

%Data.Category.Functor
%%Data.Category.Enriched