The latest version of extended-categories is 0.2.0-0.
extended-categories
Version 0.1.0 revision 0 uploaded by ian_mi.
Package meta
- Synopsis
- Extended Categories
- Description
An implementation of category theory which makes use of GHC's enriched kind system.
- Author
- Ian Milligan
- Bug reports
- n/a
- Category
- Math
- Copyright
- n/a
- Homepage
- github.com/ian-mi/extended-categories
- Maintainer
- ianmllgn@gmail.com
- Package URL
- n/a
- Stability
- experimental