The source code is well, over 1,000 but that’s because of the literate programming comments. The fancy title comments are about half as large as the actual compiler. The compiler’s goal is to ...

A quick cut and paste can save you several minutes or more per paper. Templates can be useful for both margin comments and for block comments (a letter that you include for each student, summarizing ...