胡宝生 BradyHu
BradyHu
/ MypyTypecheck.py
Created
August 14, 2019 06:56
An IPython notebook satrtup script to enable the use of mypy within jupyter notebooks
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #! /usr/bin python3 | |
| # -*- coding:utf-8 -*- | |
| """ | |
| Add mypy type-checking ability to jupyter/ipython. | |
| Save this script to your ipython profile's startup directory. | |
| IPython's directories can be found via `ipython locate [profile]` to find the current ipython directory and ipython profile directory, respectively. | |
| For example, this file could exist on a path like this on mac: |