Skip to content
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

chore: Improve the explanation of PassStyle "tagged" #1868

Merged
merged 1 commit into from
Dec 2, 2023
Merged

chore: Improve the explanation of PassStyle "tagged" #1868

merged 1 commit into from
Dec 2, 2023

Conversation

gibson042
Copy link
Contributor

Originally posted by @erights in Agoric/documentation#876 (comment)

CopyTaggeds representing higher-order types

Not necessarily higher order in general. Probably the intended point is that these concepts are defined at a higher abstraction layer.

@gibson042 gibson042 requested a review from erights November 30, 2023 23:55
@gibson042 gibson042 mentioned this pull request Nov 30, 2023
Merged
erights
erights approved these changes Dec 1, 2023
View reviewed changes
Copy link
Contributor

@erights erights left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM thanks

@gibson042 gibson042 enabled auto-merge (rebase) December 2, 2023 16:10
@gibson042 gibson042 force-pushed the gibson-2023-11-tagged-explanation branch from 80aead0 to 6a34fd6 Compare December 2, 2023 16:11
@gibson042 gibson042 merged commit 3e14990 into master Dec 2, 2023
14 checks passed
@gibson042 gibson042 deleted the gibson-2023-11-tagged-explanation branch December 2, 2023 16:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@erights erights erights approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@gibson042 @erights