non/spire — pull request #110 by tixxit (2013-06-04 01:40:39+00:00)
Title: Metricspace laws

This switches real metric space to be basically the absolute value of the difference of 2 real numbers, but return as that numbers type, not `Double`. It also implements laws for MetricSpace and checks that the edit distance is a metric space.