Comment Comment by texdraft You could edit Wikipedia, citing Hart and Levin's memo introducing the compiler. parent texdraft 4 years ago