Skip to content

Add Term Invariant#219

Merged
alxlo merged 1 commit intomainfrom
add-term-invariant
Jan 20, 2026
Merged

Add Term Invariant#219
alxlo merged 1 commit intomainfrom
add-term-invariant

Conversation

@alxlo
Copy link
Copy Markdown
Collaborator

@alxlo alxlo commented Jan 18, 2026

  • the lack of this nagged me for ages

@alxlo
Add Term Invariant
1a9812f 
- the lack of this nagged me for ages
mikesperber
mikesperber approved these changes Jan 19, 2026
View reviewed changes
Copy link
Copy Markdown
Collaborator

@mikesperber mikesperber left a comment

Choose a reason for hiding this comment

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

Excellent!

@alxlo alxlo merged commit 4218807 into main Jan 20, 2026
1 check failed
@alxlo alxlo deleted the add-term-invariant branch January 20, 2026 23:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@mikesperber mikesperber mikesperber approved these changes

@sippsack sippsack Awaiting requested review from sippsack

@gernotstarke gernotstarke Awaiting requested review from gernotstarke

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

@alxlo @mikesperber