Why was the shortest λ 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.
Why was my post put on hold?
MaiaVictor
- 381
- 1
- 1