Filtered by
control
library
programming
Refine results
haskell (2)
category (1)
A framework for computations based on the mathematical notion of categories and morphisms
Metrics updated 12 Oct 08
A collection of modules implementing various ideas from category theory. Notable bits include: comonads, adjunctions, functor fixedpoints and various recursion operaters ala Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.
Metrics updated 13 Oct 08