Fritz Henglein has studied the problem "what is a sorting function?" that touches on this kind of thing.
http://www.sciencedirect.com/science/article/pii/S1567832608001094 Robby On Monday, September 15, 2014, David Van Horn <dvanh...@cs.umd.edu> wrote: > On 9/15/14, 4:53 PM, David Van Horn wrote: > > I don't think you made enough examples. > > Nope - my bad. Cute. Awful, but cute (and there could be correct > implementations of sort that would break your rev). > > David > > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users >
____________________ Racket Users list: http://lists.racket-lang.org/users
