Skip to content

Replace List -> list#255

Merged
james-d-mitchell merged 4 commits into
libsemigroups:v1from
james-d-mitchell:replace-List-with-list
Jun 3, 2025
Merged

Replace List -> list#255
james-d-mitchell merged 4 commits into
libsemigroups:v1from
james-d-mitchell:replace-List-with-list

Conversation

@james-d-mitchell

Copy link
Copy Markdown
Member

See https://peps.python.org/pep-0585/ for more type annotations that were deprecated in python 3.9 and should be updated in this PR.

@james-d-mitchell james-d-mitchell force-pushed the replace-List-with-list branch from ab7464f to f55ded3 Compare June 3, 2025 12:10
@james-d-mitchell

Copy link
Copy Markdown
Member Author

I think that's all of them

@james-d-mitchell james-d-mitchell merged commit fece53c into libsemigroups:v1 Jun 3, 2025
11 checks passed
@james-d-mitchell james-d-mitchell deleted the replace-List-with-list branch June 3, 2025 12:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant