@hackage extended-categories0.2.0

Extended Categories

Installation
In your cabal file:
Dependencies (4)
- base >=4.7 && <4.8
- ghc-prim >=0.3 && <0.4
- constraints >=0.3 && <0.5
- tagged >=0.7 && <0.8
Dependents (1)
@hackage/acme-everything

An implementation of category theory which makes use of GHC's enriched kind system.