/con-cat-extras

Scratch for working with 'constrained-categories' package

Primary LanguageHaskellMIT LicenseMIT

con-cat-extras

Currently a scratchpad for working with the constrained-categories package.

Contains:

  • A minor variant of Functor from Control.Functor.Constrained without functional dependencies.
  • Internal combinators (e.g. composition, S, K, dup) for Cartesian closed categories.