Code

Add crawl.py example#1878

Code

Merged

gvanrossum merged 2 commits intomasterpython/mypy:masterfrom

add-crawlpython/mypy:add-crawlCopy head branch name to clipboard

Jul 18, 2016

Commits

Commits on Jul 15, 2016

• Add crawl.py example, working and fully annotated.

  

  Guido van Rossum

  committed
  e457268

  Copy full SHA for e457268

• Sync typeshed (to new and improved asyncio stubs).

  

  Guido van Rossum

  committed
  48da74f

  Copy full SHA for 48da74f