Skip to content

Add Updates #61

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
suhr wants to merge 4 commits into from
Closed

Add Updates #61

suhr wants to merge 4 commits into from

Conversation

@suhr
Copy link
Contributor

@suhr suhr commented Jun 24, 2025

Uses #49. Closes #58.

What is cmra_transport?

@suhr suhr changed the title Updates Add Updates Jun 24, 2025
@markusdemedeiros
Copy link
Collaborator

markusdemedeiros commented Jun 24, 2025

Don't worry about cmra_transport right now (or isomorphisms, if they turn out to be difficult). Both of them are generic ways to derive updates out of "related" types (where "related" means equal or isomorphic) but they're not that important in the short term.

@suhr suhr force-pushed the updates branch 2 times, most recently from 955a4f0 to dcb6c42 Compare June 25, 2025 13:48
@suhr suhr marked this pull request as ready for review June 25, 2025 13:50
@suhr
Copy link
Contributor Author

suhr commented Jun 25, 2025

Here it is. Naming is a mess.

@markusdemedeiros
Copy link
Collaborator

markusdemedeiros commented Jun 25, 2025

Nice work!!

@suhr suhr force-pushed the updates branch 2 times, most recently from 84c28e0 to 482c948 Compare June 30, 2025 14:13
@markusdemedeiros
Copy link
Collaborator

markusdemedeiros commented Jul 1, 2025

See #72

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Port updates

3 participants

@suhr @markusdemedeiros @oliversoeser