On Sun, 27 Oct 2013, Richard Sandiford wrote:
> Until now, eq_p and ne_p have enforced the same argument rules as things
> like addition, while order comparisons like lts_p have treated the two
> arguments as independent and signed. Richard, I think you said on IRC
> that you thought lts_p should
Until now, eq_p and ne_p have enforced the same argument rules as things
like addition, while order comparisons like lts_p have treated the two
arguments as independent and signed. Richard, I think you said on IRC
that you thought lts_p should behave like the others. E.g. lts_p on two
trees or tw
