Computational Category Theory
cs.man.ac.ukAn implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.