Although partially working, there are still bugs in the current linting configs:
To make mypy fully functional, we need to install all the dependencies in the linter workflow.
~Should exist a cirkit[all] option to install all optional dependencies.~ No need to install everything, only for linting.
We have to find a good way to install the packages in submodules, preferably specified along with the optional deps. (However, we should not lint those as they're not managed by us.)
Although partially working, there are still bugs in the current linting configs:
mypyfully functional, we need to install all the dependencies in the linter workflow.cirkit[all]option to install all optional dependencies.~ No need to install everything, only for linting.