Categories.Comma dos not type check with stdlib 0.16
p-pavel opened this issue · 1 comments
p-pavel commented
assoc = A.assoc , B.assoc
is the first problematic line. Didn't investigate it any further yet
JacquesCarette commented
In the new library at https://github.com/agda/agda-categories/blob/master/Categories/Category/Construction/Comma.agda and works with new stdlib.