Compare commits

..

No commits in common. "e9ff270f34e168497af6ca735d80b28a059ec765" and "60d813c804548a6b3728c35d1097e5133eeb52fc" have entirely different histories.

2 changed files with 7 additions and 5 deletions

View File

@ -14,7 +14,7 @@
]); ]);
cfg = ./mypy-config.ini; cfg = ./mypy-config.ini;
in rec { in rec {
packages.tychk-watch = pkgs.writeScriptBin "tychk" "echo 'running mypy on change...' ; ${pkgs.watchexec}/bin/watchexec -e py ${python}/bin/mypy --config ${cfg} ."; packages.tychk-watch = pkgs.writeScriptBin "tychk" "echo 'running mypy on change...' ; ${pkgs.watchexec}/bin/watchexec -e py ${python}/bin/mypy --config ${cfg} ${./.}";
packages.tychk = pkgs.writeScriptBin "tychk" "${python}/bin/mypy ${./.} --config ${cfg}"; packages.tychk = pkgs.writeScriptBin "tychk" "${python}/bin/mypy ${./.} --config ${cfg}";
devShells.default = pkgs.mkShell { devShells.default = pkgs.mkShell {
packages = [ python ]; packages = [ python ];

View File

@ -1,5 +1,7 @@
def meow(x: int) -> None: import matplotlib.pyplot as plt
for _ in range(x):
print("meow", end="")
meow(10) fig, ax = plt.subplots()
ax.plot([1, 2, 3, -3])
ax.set_xlabel("time")
ax.set_ylabel("swag")
plt.show()