Learn more about cloning repositories
You have read-only access
Merge pull request #239 from sukolsak/fix-typos Fix typos and formatting in TypeChecker.rst