A program to check for type errors in a Latex document - View it on GitHub