Skip to content

Embed type hints, check with mypy#59

Merged
Rogdham merged 1 commit into
masterfrom
type-mypy
Dec 7, 2025
Merged

Embed type hints, check with mypy#59
Rogdham merged 1 commit into
masterfrom
type-mypy

Commits

Commits on Dec 7, 2025