[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