Arc Forum
new
|
comments
|
leaders
|
submit
login
1 point
by
absz
6083 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.