A repository for a type checker written in Python Lex-Yacc as a part of Compilers classes.