Computational Category Theory
An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.

	Keyword	Results for this URL	Total searches