Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[PreSmalltalks] Add folding tests #322

Merged
merged 2 commits into from
Jul 4, 2024
Merged

Conversation

shingarov
Copy link
Owner

No description provided.

shingarov added 2 commits July 4, 2024 02:53
We also allow to refer standard combinators such as K through a pool,
and move the whole fold test class to MathNotation, because the really
interesting cases owe their interest to the notation.
@shingarov shingarov force-pushed the standard-combinators branch from 2fd005b to 23f5901 Compare July 4, 2024 07:13
@shingarov shingarov merged commit 2d2740d into pure-z3 Jul 4, 2024
3 checks passed
@shingarov shingarov deleted the standard-combinators branch July 4, 2024 07:15
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.

1 participant