Why was the shortest λ sort postshortest λ sort post put on hold? What is "unclear" about it? The only question raised (about church encodings) was promptly clarified in the post as soon as it was pointed.
replaced http://codegolf.stackexchange.com/ with https://codegolf.stackexchange.com/