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

Serialize Nockma output using nock jam #3066

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Serialize Nockma output using nock jam #3066

wants to merge 1 commit into from

Conversation

paulcadman
Copy link
Collaborator

@paulcadman paulcadman commented Sep 26, 2024 •
edited
Loading

The Anoma API accepts jammed nock terms as input. The benefit to this is that jammed terms are greatly compressed compared to the original term.

Remaining tasks:

  • Deserialize input nockma file in juvix dev nockma {run, eval}
  • Support debug input nockma file with a flag in juvix dev nockma {run, eval}
  • Add tests for serialised nockma file execution

@paulcadman
Serialize Nockma output using nock jam
f0ba6a4 
The Anoma API accepts jammed nock terms as input. The benefit to this is
that jammed terms are greatly compressed compared to the original term.
@paulcadman paulcadman self-assigned this Sep 26, 2024
@paulcadman paulcadman added this to the 0.6.7 milestone Sep 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@paulcadman paulcadman

Labels
anoma backend:nockma CLI
Projects
None yet
Milestone
0.6.7
Development

Successfully merging this pull request may close these issues.

Jam (Nock serialize) the anoma backend output
1 participant
@paulcadman