non/spire — pull request #323 by denisrosset (2014-11-15 10:56:47+00:00)
Title: Laws for PartialOrder and Order.

Added laws for PartialOrder and Order, along with a test on Int.

This serves as a base to test partial orders on intervals, etc...