Closed cjwatson closed 10 years ago
Sorry for the delay on this front. I've been working on how to merge representable-functors
with adjunctions
and clean up the worst of the infelicities in the API of both in the process, but with travel lately it has been slow going. The current intention is to release that as adjunctions
4.0 and so get basically the bulk of my ecosystem synchronized on version numbers.
Any news on this front?
Sorry about the delay. I'm still traveling -- now I'm at a workshop up in Banff.
I'll be back in Boston at the end of the week, so I should be able to finish this up shortly thereafter.
This is your Boxing Day out-of-bailiwick reminder that we did not get a surprise Christmas present.
Fixed back on Jan 15th
There doesn't seem to be a version of adjunctions available that advertises itself as working with the new comonad 4.0. Please could you release one? Thanks!