/category-research

Self-studying for category theory with agda

Primary LanguageAgda

Category theory research in Agda

Refer to agda-categories project and just for self-research :)