Skip to content

typecheck tweaks#179

Merged
pelikhan merged 4 commits intomainfrom
pelikhan/typechecking
Aug 21, 2025
Merged

typecheck tweaks#179
pelikhan merged 4 commits intomainfrom
pelikhan/typechecking

Conversation

@pelikhan
Copy link
Contributor

No description provided.

@pelikhan pelikhan merged commit 43eb185 into main Aug 21, 2025
7 of 8 checks passed
@pelikhan pelikhan deleted the pelikhan/typechecking branch August 21, 2025 16:52
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