[Haskell-cafe] Disadvantages of de Bruijn indicies?

[Stefan Holdermans]

Nils,

>> Anyway, Conor and James' Haskell Workshop paper on manipulating
>> syntax that involves both free and bound variables [1] is really nice
>> and could perhaps be of interest to you.
>
> If I remember correctly this paper is not about a pure de Bruijn index
> representation, but about a mix between names and indices which often
> goes under the name "locally nameless".

Indeed: it is.

Cheers,

   Stefan