Containers can be made into a Cartesian Differential Category
Primary LanguageAgda
No issues in this repository yet.