Skip to content

fixed type errors etc#1

Merged
LeanderK merged 1 commit into
mainfrom
type_errors
Jun 18, 2025
Merged

fixed type errors etc#1
LeanderK merged 1 commit into
mainfrom
type_errors

Conversation

@LeanderK

Copy link
Copy Markdown
Member

While I tried to code it cleanly from scratch....I wasn't entirely successful! I also didn't have the time to polish it more.

This pull request fixes most of the type issues. It shouldn't have changed any functionality and running the example still produces the correct test-score

@LeanderK LeanderK merged commit d091682 into main Jun 18, 2025
1 check passed
@LeanderK LeanderK deleted the type_errors branch June 18, 2025 17:47
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