CODEWITHSUNDEEP
agdacategory-theory
user1604015
user1604015

Reputation: 415

Background on Agda Categories library?

I'm trying to understand the Categories library, but I'm fairly new to Agda, so I'm looking for some sort of document explaining the choices that were made in the implementation of the library. There's a link to such a thing in the readme, but it's broken.

Upvotes: 4

Views: 167

Answers (1)

Jacques Carette
Jacques Carette

Reputation: 3135

For people landing here in the future: the 'new' agda-categories has some documentation in its readme about the choices, and also there is a published paper about it that goes into a lot more details regarding the design choices.

Upvotes: 5

Related Questions