Closed byorgey closed 10 years ago
Update to comonad and adjunctions packages, respectively, and make a few necessary renamings.
Update to comonad and adjunctions packages, respectively, and make a few necessary renamings.