A category theory library for Agda
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
A category theory library by James Chapman and Niccolò Veltri.
License:MIT License