The latest version of adjunctions is 4.4.2-2.
adjunctions
Version 4.3 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- Adjunctions and representable functors
- Description
Adjunctions and representable functors
- Author
- Edward A. Kmett
- Bug reports
- http://github.com/ekmett/adjunctions/issues
- Category
- Data Structures, Adjunctions
- Copyright
- Copyright (C) 2011-2014 Edward A. Kmett
- Homepage
- http://github.com/ekmett/adjunctions/
- Maintainer
- Edward A. Kmett <ekmett@gmail.com>
- Package URL
- n/a
- Stability
- provisional