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

feat(array): add fold #25

Merged
merged 8 commits into from
Mar 12, 2024
Merged

feat(array): add fold #25

merged 8 commits into from
Mar 12, 2024

Conversation

Lampese
Copy link
Collaborator

@Lampese Lampese commented Mar 9, 2024

No description provided.

@Lampese Lampese mentioned this pull request Mar 9, 2024
@Lampese
Copy link
Collaborator Author

Lampese commented Mar 9, 2024

In order to facilitate the merging of #27, I have submitted an additional formatted commit for this pull request. If it passes, please try to use a squash merge.

@bobzhang bobzhang mentioned this pull request Mar 11, 2024
2 tasks
@Lampese Lampese requested a review from bobzhang March 11, 2024 15:09
@Yoorkin Yoorkin merged commit 031a0d6 into moonbitlang:main Mar 12, 2024
3 checks passed
@Lampese Lampese deleted the feat-array-fold branch March 12, 2024 14:14
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.

4 participants