2 ms·
Gasbichler's implementation of hygiene (in "Fully parameterized, first-class modules with hygienic macros") actually uses De Bruijn indexes.
by ruricolist 10y ago
Gasbichler's implementation of hygiene (in "Fully parameterized, first-class modules with hygienic macros") actually uses De Bruijn indexes.
- Ericson2314 10y agoThanks! It isn't everyday that one has a thesis cited to them on HN, unfortunately.