Skip to content

Conversation

@gkellogg
Copy link
Member

Fixes #66.

@gkellogg gkellogg requested a review from rubensworks June 25, 2025 19:20
@gkellogg gkellogg added the spec:bug Change fixing a bug in the specification (class 3) –see also spec:substantive label Jun 25, 2025
Copy link
Member

@rubensworks rubensworks left a comment

Choose a reason for hiding this comment

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

Looks great, thanks!

@gkellogg gkellogg merged commit 4a6055b into main Jun 26, 2025
3 checks passed
@gkellogg gkellogg deleted the fix-examples branch June 26, 2025 06:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

spec:bug Change fixing a bug in the specification (class 3) –see also spec:substantive

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Mistakes in example23.nt and example24.nt

3 participants