Skip to content

Make typing of grounder more explicit - #503

Merged
cthoyt merged 4 commits into
mainfrom
clarify-typing
Jun 18, 2026
Merged

Make typing of grounder more explicit#503
cthoyt merged 4 commits into
mainfrom
clarify-typing

Commits

Commits on May 21, 2026

Commits on May 31, 2026

Commits on Jun 18, 2026