Knuth was the author of TeX and Metafont, and I'd be hesitant to suppose him to be unable to implement anything. Not just being snarky here. I think even theo

Knuth was the author of TeX and Metafont, and I'd be hesitant to suppose him to be unable to implement anything. Not just being snarky here. I think even theorists have an implementor somewhere underneath.