Skip to content

Conversation

@Soupstraw
Copy link
Collaborator

@Soupstraw Soupstraw commented Nov 12, 2025

This PR makes it possible to add custom generators to Huddle rules.

close #75

@Soupstraw Soupstraw force-pushed the jj/custom-generators branch from b64201f to 0f314f9 Compare November 12, 2025 14:43
@Soupstraw Soupstraw force-pushed the jj/custom-generators branch from 0f314f9 to be2cf0d Compare November 12, 2025 14:45
@Soupstraw Soupstraw force-pushed the jj/custom-generators branch 3 times, most recently from 2defca0 to 0c9b38c Compare November 13, 2025 12:37
@Soupstraw Soupstraw force-pushed the jj/custom-generators branch from 0c9b38c to 42c8e91 Compare November 13, 2025 13:30
@Soupstraw Soupstraw marked this pull request as ready for review November 14, 2025 10:16
@Soupstraw Soupstraw force-pushed the jj/custom-generators branch from 89f654a to 326497a Compare November 14, 2025 10:18
Copy link
Member

@lehins lehins left a comment

Choose a reason for hiding this comment

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

I will not pretend like I understand all of the changes in this PR, but from what I do understand it looks very sensible. 👍

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.

Make it possible to attach custom QuickCheck generators to Huddle terms

3 participants