Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adopt typing hints #103

Open
HGWright opened this issue Apr 26, 2023 · 1 comment
Open

Adopt typing hints #103

HGWright opened this issue Apr 26, 2023 · 1 comment

Comments

@HGWright
Copy link
Contributor

See https://github.com/python/mypy and https://docs.python.org/3/library/typing.html

Copy link

github-actions bot commented Sep 8, 2024

In order to maintain a backlog of relevant issues, we automatically label them as stale after 500 days of inactivity.

If this issue is still important to you, then please comment on this issue and the stale label will be removed.

Otherwise this issue will be automatically closed in 28 days time.

@github-actions github-actions bot added the Stale A stale issue/pull-request label Sep 8, 2024
@HGWright HGWright removed the Stale A stale issue/pull-request label Sep 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: No status
Development

No branches or pull requests

1 participant