Skip to content

refactor(binder): update type checking to use bidirectional type inference#74

Merged
kthompson merged 1 commit intomainfrom
push-kwlkklplpqqm
Dec 27, 2025
Merged

refactor(binder): update type checking to use bidirectional type inference#74
kthompson merged 1 commit intomainfrom
push-kwlkklplpqqm

Conversation

@kthompson
Copy link
Owner

No description provided.

@kthompson kthompson changed the title update type checking to use bidirectional type inference refactor(binder): update type checking to use bidirectional type inference Dec 27, 2025
@kthompson kthompson merged commit a05ad89 into main Dec 27, 2025
3 checks passed
@kthompson kthompson deleted the push-kwlkklplpqqm branch December 27, 2025 18:06
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