Finish up type checking, add step to CI

Author: pythonweb2

.github/workflows/ci.yml

@@ -31,6 +31,10 @@ jobs:
         run: |
           uv run --no-managed-python ruff format --check
 
+      - name: Type Check
+        run: |
+          uv run --no-managed-python ty check
+
   tests:
     name: Tests (${{ matrix.os }} | Python ${{ matrix.python-version }})
     runs-on: ${{ matrix.os }}

.vscode/settings.json

@@ -0,0 +1,4 @@
+{
+    "python-envs.defaultEnvManager": "ms-python.python:venv",
+    "python-envs.pythonProjects": []
+}

docs/conf.py

@@ -112,7 +112,7 @@
 
 # -- Options for LaTeX output ------------------------------------------------
 
-latex_elements = {
+latex_elements: dict[str, str] = {
     # The paper size ('letterpaper' or 'a4paper').
     #
     # 'papersize': 'letterpaper',

pyproject.toml

@@ -33,11 +33,11 @@ dependencies = [
 [dependency-groups]
 dev = [
     "matplotlib>=3.10.7",
-    "mypy>=1.19.0",
     "pytest>=9.0.1",
     "pytest-check>=2.6.2",
     "ruff>=0.14.8",
     "scipy-stubs>=1.15.3.0",
+    "ty>=0.0.1a32",
 ]
 
 [project.urls]