Skip to content

Conversation

@alexfikl
Copy link
Contributor

No description provided.

@alexfikl alexfikl force-pushed the type-algorithm branch 3 times, most recently from 4803d16 to 6ba057f Compare January 23, 2026 19:33
@alexfikl alexfikl marked this pull request as ready for review January 23, 2026 19:52
@inducer
Copy link
Owner

inducer commented Jan 25, 2026

This is awesome, thanks! This is good progress towards cleaning up a largely-untyped, somewhat... organically grown mess.

@inducer inducer merged commit 2d8ed7a into inducer:main Jan 25, 2026
19 checks passed
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.

2 participants