[Agda] 'categories' library in 2.5.1.1

Jacques Carette carette at mcmaster.ca
Wed Nov 2 16:14:55 CET 2016


I am a heavy user of the wonderful categories [1] library.  But I now 
find that lots of this code is broken in 2.5.1.1.  I have fixed some 
issues in my fork, but I have hit issues (notably in 
Categories.NaturalIsomorphisms) which I don't know how to fix.

Two questions:
1) does anyone have a fork where this is fixed?
2) if not, would there be a group interested in working with me to do so?

Jacques

[1] https://github.com/copumpkin/categories


More information about the Agda mailing list