Arc Forumnew | comments | leaders | submitlogin
1 point by absz 5886 days ago | link | parent

Gah, same gotcha as before. Mea culpa. I still stand by the first two paragraphs, though; it may not be alpha-equivalence, but changing names should rarely, if ever, affect distinct parts of the program.