gitignore .iml .idea
Merge branch 'master' of https://github.com/tiden0614/coursera_compilers
half the type check