I think if you express your lambda calculus bindings in terms of De Bruijn indices, it might seem less arbitrary, too.
I think if you express your lambda calculus bindings in terms of De Bruijn indices, it might seem less arbitrary, too.