Agda分类库的背景？

Question

我正在尝试理解类别库，但我对Agda还不熟悉，所以我正在寻找某种文档来解释在库的实现中做出的选择。在自述文件中有这样一个链接，但它已经破碎了。

Answer 1

对于将来登陆这里的人：“新”agda-categories 在其自述文件中有一些关于选择的文档，还有一个关于它的 published paper，其中包含更多关于设计选择。