fmap/metric

Abstraction of lawful metric spaces, with definitions over real vectors, strings, and sets.

Metric spaces. This is a literate program, and as such the code should be considered the primary source of documentation. I'd start here.