Add dev nockma encode command

[janmasrovira]

• New command juvix dev nockma encode --help

Usage: juvix dev nockma encode --to ENCODING --from ENCODING

  Encode and decode nockma terms

Available options:
  --to ENCODING            Choose the source encoding.
                           • base64: Jam and Base 64 encoding
                           • bytes: Jam encoding
                           • debug: Nockma code with annotations
                           • text: Nockma code without annotations
  --from ENCODING          Choose the target encoding.
                           • base64: Jam and Base 64 encoding
                           • bytes: Jam encoding
                           • debug: Nockma code with annotations
                           • text: Nockma code without annotations

[paulcadman]

Q: decodeCue64 is correct here because the value of the 'proof' field is jammed - so we cue it to see the nock term?

[janmasrovira]

it's just a matter of renaming decodeJam64 -> decodeCue64. They are the same function. I could leave it to decodeJam64 if that's more intuitive. What do you think?

[janmasrovira]

I removed decodeJam64 in af0dd16 because it was a duplicate of decodeCue64

[paulcadman]

In my dictionary 'jam = nock-encode', 'cue = nock-decode' - and then we overload 'encode / decode' here because we also have base64 encode/decode 😄

So decodeCue64 first base64-decodes the value of proof in response to a bytestring and then this is nock-decoded (i.e cued) to a nock term.