Skip to content

Multi-threaded type inference#41

Closed
acl-cqc wants to merge 94 commits intojust-nat-solvingfrom
inference-wip/fork
Closed

Multi-threaded type inference#41
acl-cqc wants to merge 94 commits intojust-nat-solvingfrom
inference-wip/fork

Conversation

@acl-cqc
Copy link
Collaborator

@acl-cqc acl-cqc commented Oct 21, 2024

This now based off #70 which should come first.

@acl-cqc acl-cqc mentioned this pull request Apr 1, 2025
@acl-cqc acl-cqc force-pushed the inference-wip/fork branch from e6e37a9 to d081457 Compare April 2, 2025 10:43
@acl-cqc acl-cqc changed the base branch from holes to just-nat-solving April 2, 2025 10:44
@acl-cqc
Copy link
Collaborator Author

acl-cqc commented Dec 17, 2025

Superceded by #84 and #93

@acl-cqc acl-cqc closed this Dec 17, 2025
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.

3 participants