1 files changed, 1 insertions, 0 deletions
diff --git a/Biz/Ide/repl b/Biz/Ide/repl
index e62c7b2..5a7b615 100755
--- a/Biz/Ide/repl
+++ b/Biz/Ide/repl
@@ -63,6 +63,7 @@ fi
       command=bash
       ;;
     Py)
+      langdeps="$langdeps pylint mypy"
       flags+=(--packages "$BILD.private.$packageSet (p: with p; [$langdeps])")
       command=${CMD:-"python -i $targets"}
       ;;