Hacker News new | ask | show | jobs
by SkiFire13 382 days ago
But then the point of giving unique names to avoid using De Brujin indices is moot