Fritz Henglein has studied the problem "what is a sorting function?" that touches on this kind of thing. <div><br></div><div><a href="http://www.sciencedirect.com/science/article/pii/S1567832608001094">http://www.sciencedirect.com/science/article/pii/S1567832608001094</a></div><div><br><div><br></div><div>Robby<br><br>On Monday, September 15, 2014, David Van Horn <<a href="mailto:dvanhorn@cs.umd.edu">dvanhorn@cs.umd.edu</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 9/15/14, 4:53 PM, David Van Horn wrote:<br>
> I don't think you made enough examples.<br>
<br>
Nope - my bad.  Cute.  Awful, but cute (and there could be correct<br>
implementations of sort that would break your rev).<br>
<br>
David<br>
<br>
<br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</blockquote></div></div>