/Idris-dev

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

added zipWith3 and associated functions for streams #1653

Merged
merged 1 commit into from Oct 18, 2014

Conversation

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@japesinator @edwinb
@japesinator
Contributor

japesinator commented Oct 17, 2014

Added zipWith3, zip3, and unzip3 to Prelude.Stream

edwinb added a commit that referenced this pull request Oct 18, 2014

@edwinb
Merge pull request #1653 from japesinator/add_zip3_streams 
added zipWith3 and associated functions for streams
08b2668

@edwinb edwinb merged commit 08b2668 into idris-lang:master Oct 18, 2014
1 check passed

1 check passed

continuous-integration/travis-ci The Travis CI build passed
Details

msmorgan pushed a commit to msmorgan/Idris-dev that referenced this pull request Aug 28, 2017

@edwinb
Merge pull request #1653 from japesinator/add_zip3_streams 
added zipWith3 and associated functions for streams
bf7dab0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment