Hacker News Reader

Gasbichler's implementation of hygiene (in "Fully parameterized, first-class modules with hygienic macros") actually uses De Bruijn indexes.

Thanks! It isn't everyday that one has a thesis cited to them on HN, unfortunately.