Skip to content

Add type hinting#76

Merged
HippoProgrammer merged 4 commits into
mainfrom
75-type-hinting-is-not-in-place
Jun 10, 2026
Merged

Add type hinting#76
HippoProgrammer merged 4 commits into
mainfrom
75-type-hinting-is-not-in-place

Conversation

@HippoProgrammer

Copy link
Copy Markdown
Owner

Fixes #75.

@HippoProgrammer HippoProgrammer self-assigned this Jun 9, 2026
@HippoProgrammer HippoProgrammer added bug Something isn't working enhancement New feature or request labels Jun 9, 2026
@HippoProgrammer HippoProgrammer added this to the v0.1.0 milestone Jun 9, 2026
@HippoProgrammer HippoProgrammer marked this pull request as ready for review June 10, 2026 08:25

@HippoProgrammer HippoProgrammer left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@HippoProgrammer HippoProgrammer merged commit 4f1497f into main Jun 10, 2026
5 checks passed
@HippoProgrammer HippoProgrammer deleted the 75-type-hinting-is-not-in-place branch June 10, 2026 08:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Type hinting is not in place

1 participant