http://blog.tmorris.net/have-you-ever-wanted-to-do-this/ The weblog of Tony Morris Sat, 19 May 2012 02:46:01 +0000 http://wordpress.org/?v=2.6 http://blog.tmorris.net/have-you-ever-wanted-to-do-this/#comment-2 Slava Pestov Wed, 15 Nov 2006 00:01:46 +0000 http://blog.tmorris.net/have-you-ever-wanted-to-do-this/#comment-2 A better name for Equalable is EqualityRelation; it is a relation that satisfies some additional axioms. In general, library support for relations would be a good thing. There are also notions of partial order relations, total order relations, and others. Some operations you can do with relations are negation, transitive closure, equality closure, and composition. A better name for Equalable is EqualityRelation; it is a relation that satisfies some additional axioms. In general, library support for relations would be a good thing. There are also notions of partial order relations, total order relations, and others. Some operations you can do with relations are negation, transitive closure, equality closure, and composition.

]]>