Type annotations#127

Merged

JaapJoris merged 24 commits intomainfrom

Aug 12, 2025

Commits on Jul 22, 2025

Commits on Jul 23, 2025

Second batch of type fixes
JaapJoris
committed

Commits on Jul 24, 2025

Commits on Jul 26, 2025

Commits on Jul 28, 2025

Get rid of redundant `options.pyi`
JaapJoris
committed

Commits on Aug 10, 2025

Commits on Aug 12, 2025