Skip to content

Minor type fixes#215

Merged
dphfox merged 1 commit into
mainfrom
pr-singleton-types
Feb 4, 2023
Merged

Minor type fixes#215
dphfox merged 1 commit into
mainfrom
pr-singleton-types

Conversation

@dphfox

@dphfox dphfox commented Feb 4, 2023

Copy link
Copy Markdown
Owner

Re-applies the changes first put forward in #149 to the modern Fusion codebase

@dphfox dphfox merged commit 241eafc into main Feb 4, 2023
@dphfox dphfox deleted the pr-singleton-types branch February 4, 2023 03:22
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