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.

Sign up for GitHub

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

Jump to bottom

Add: the 'seq' builtin (>>>) #1982

Merged
merged 4 commits into from
Apr 14, 2023
Merged

Add: the 'seq' builtin (>>>) #1982

merged 4 commits into from
Apr 14, 2023

Conversation

lukaszcz
Copy link
Collaborator

@lukaszcz lukaszcz commented Apr 5, 2023

@lukaszcz lukaszcz added enhancement New feature or request syntax fix:bug core Related to JuvixCore internal-to-core labels Apr 5, 2023
@lukaszcz lukaszcz added this to the 0.3.2 milestone Apr 5, 2023
@lukaszcz lukaszcz self-assigned this Apr 5, 2023
@lukaszcz lukaszcz temporarily deployed to github-pages April 5, 2023 12:06 — with GitHub Actions Inactive
@lukaszcz lukaszcz temporarily deployed to github-pages April 5, 2023 14:47 — with GitHub Actions Inactive
@jonaprieto jonaprieto changed the title The 'seq' builtin Add: the 'seq' builtin (>>>) Apr 5, 2023
@jonaprieto jonaprieto temporarily deployed to github-pages April 5, 2023 18:31 — with GitHub Actions Inactive
@lukaszcz lukaszcz temporarily deployed to github-pages April 7, 2023 07:43 — with GitHub Actions Inactive
@lukaszcz lukaszcz temporarily deployed to github-pages April 11, 2023 16:46 — with GitHub Actions Inactive
@lukaszcz lukaszcz temporarily deployed to github-pages April 12, 2023 14:39 — with GitHub Actions Inactive
@lukaszcz lukaszcz temporarily deployed to github-pages April 14, 2023 09:06 — with GitHub Actions Inactive
@jonaprieto jonaprieto temporarily deployed to github-pages April 14, 2023 15:42 — with GitHub Actions Inactive
@lukaszcz lukaszcz temporarily deployed to github-pages April 14, 2023 16:10 — with GitHub Actions Inactive
@lukaszcz lukaszcz merged commit 46360a7 into main Apr 14, 2023
@lukaszcz lukaszcz deleted the lazy-trace branch April 14, 2023 17:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@janmasrovira janmasrovira janmasrovira approved these changes

@jonaprieto jonaprieto Awaiting requested review from jonaprieto

Assignees

@lukaszcz lukaszcz

Labels
core Related to JuvixCore enhancement New feature or request fix:bug internal-to-core pipeline:exec syntax
Projects
None yet
Milestone
0.3.2 - HB-J
Development

Successfully merging this pull request may close these issues.

trace is not compiled lazily Better syntax for trace and the seq operator
3 participants
@lukaszcz @janmasrovira @jonaprieto