On Sun, 13 May 2007, Stefan Holdermans <[EMAIL PROTECTED]> wrote: > 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". -- /NAD _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
