Skip to content

Use Noun.equal? instead of == for Noun terms#2077

Merged
mariari merged 2 commits intobasefrom
mariari/fixup-eprove-equality
Feb 6, 2026
Merged

Use Noun.equal? instead of == for Noun terms#2077
mariari merged 2 commits intobasefrom
mariari/fixup-eprove-equality

Conversation

@mariari
Copy link
Copy Markdown
Member

@mariari mariari commented May 21, 2025

No description provided.

mariari added 2 commits May 21, 2025 20:48
This will survive under refactors
With == it must be strict but since we are using Noun.equal? these can
be written more naturally
@agureev agureev added enhancement New feature or request examples Deals with creating examples or retrofitting things into examples. labels May 22, 2025
@mariari mariari moved this from Triage to Next in What's Cooking on Anoma Dec 15, 2025
@mariari mariari merged commit 6b1e471 into base Feb 6, 2026
10 checks passed
@github-project-automation github-project-automation bot moved this from Next to Released in What's Cooking on Anoma Feb 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request examples Deals with creating examples or retrofitting things into examples.

Projects

Status: Released

Development

Successfully merging this pull request may close these issues.

2 participants