Hacker News new | ask | show | jobs
by Retra 2731 days ago
Because he was writing for a specific class of predetermined parsers, rather than an arbitrary one which was optimized for his proof.