Literature/pattern-match.pdf
2015-05-25 Christian Urban proved some basic properties (totality and trichonomity) for the orderings
less more (0) tip