Is there an alternative to De Bruijn indices where variables have the same representation through their whole scope? Possibly by counting in the opposite direction (i.e. outermost bound variable is always 0)? Does this have a name?
Conversation
Looks like "De Bruijn Levels" are what we want! Anyone have a good intro to the subject?
4
4
Replying to
I use these in my values when implementing normalisation by evaluation. Really handy for side-stepping the performance problems of shifting de bruijn indices.