Skip to content

Adding section on annotations#28

Merged
marcoeilers merged 4 commits into
masterfrom
annotations
Jul 8, 2026
Merged

Adding section on annotations#28
marcoeilers merged 4 commits into
masterfrom
annotations

Conversation

@marcoeilers

Copy link
Copy Markdown
Contributor

Annotations as a general concept, opaque functions and revealed function applications, backend-specific annotations.

@marcoeilers
marcoeilers requested a review from Aurel300 July 7, 2026 20:15
Comment thread src/language-annotations.md
Comment thread src/language-annotations.md Outdated
Comment thread src/language-annotations.md
@marcoeilers
marcoeilers merged commit 3cb1582 into master Jul 8, 2026
2 checks passed
@marcoeilers
marcoeilers deleted the annotations branch July 8, 2026 11:28
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.

2 participants