Skip to content

Conversation

@dylan-sa
Copy link
Contributor

Closes #1191.

@dylan-sa dylan-sa added the impact: minor New, backward-compatible functionality (does not change inferences; e.g., adding a term) label Feb 17, 2025
@dylan-sa dylan-sa self-assigned this Feb 17, 2025
Copy link
Collaborator

@rjyounes rjyounes 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!

@rjyounes rjyounes moved this to To Do in gist Version 14.0.0 Feb 27, 2025
@rjyounes rjyounes merged commit c4bac0a into develop Apr 1, 2025
1 check passed
@rjyounes rjyounes deleted the dabney/1191-add-Assignment-class branch April 1, 2025 22:23
@github-project-automation github-project-automation bot moved this from To Do to Done in gist Version 14.0.0 Apr 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

impact: minor New, backward-compatible functionality (does not change inferences; e.g., adding a term)

Projects

No open projects

Development

Successfully merging this pull request may close these issues.

Add class Assignment and accompanying predicates

3 participants