Enable type checker for python
This commit is contained in:
parent
788ec4efda
commit
821ae5cee4
|
@ -32,7 +32,7 @@ in rec {
|
||||||
rink
|
rink
|
||||||
ghc
|
ghc
|
||||||
( python310.withPackages (ps: with ps; [
|
( python310.withPackages (ps: with ps; [
|
||||||
ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy # (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
|
ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
|
||||||
(extras.challtools ps)
|
(extras.challtools ps)
|
||||||
]))
|
]))
|
||||||
( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
|
( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
|
||||||
|
|
Loading…
Reference in New Issue
Block a user