Add bundled CCCs and basic def. for CC functors.

agda / agda-categories

A new Categories library for Agda

https://agda.github.io/agda-categories

MIT License

362 stars 68 forks source link

Closed Trebor-Huang closed 2 years ago

Trebor-Huang commented 2 years ago

This is barely nothing apart from definitions. I'm new to contributing so I'm still looking at proving some basic properties about CCFs.

JacquesCarette commented 2 years ago

Small incremental contributions are quite welcome too. Now on to doing a review.

Trebor-Huang commented 2 years ago

I'm sorry but I recently need to focus more on intracurriculum stuff, so I probably won't have time to do much. :(

JacquesCarette commented 2 years ago

No problem - any and all contributions are appreciated. This is almost ready to be merged!