Skip to content

Conversation

@heskew
Copy link
Member

@heskew heskew commented Dec 20, 2025

Resolved #18 (as much as currently possible)

@heskew heskew changed the title Remove harper types that can be pulled in from harper (i.e. reuse rea… Remove harper types that can be pulled in from harper (i.e. reuse real types where available) Dec 20, 2025
@heskew heskew linked an issue Dec 20, 2025 that may be closed by this pull request
Base automatically changed from proper-resource to main December 22, 2025 21:37
@heskew heskew merged commit b69b978 into main Dec 22, 2025
4 checks passed
@heskew heskew deleted the rm-partial-type-copies branch December 22, 2025 21:37
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.

Partial copies of harper types should be removed

3 participants