Skip to content

Fix errors identified by the type checker#38

Merged
jacoblambert merged 1 commit into
mainfrom
fix/type-hints
Jun 10, 2025
Merged

Fix errors identified by the type checker#38
jacoblambert merged 1 commit into
mainfrom
fix/type-hints

Commits

Commits on Jun 9, 2025