hask-0: Categories

hask-0: Categories

Kind-indexed category theory in Haskell

Modules