I learned about why De Bruijn indices are awesome just a couple of days after his death--very unfortunate timing. I only learned about it after I started apprec

I learned about why De Bruijn indices are awesome just a couple of days after his death--very unfortunate timing. I only learned about it after I started appreciating them... (Basically, they are neat because they let you represent a lambda as just a body and an environment as just a list of values, elegantly avoiding the pitfalls of using named variables.)