[x] Deserialize input nockma file in juvix dev nockma {run, eval}
[x] Support debug input nockma file in juvix dev nockma {run, eval, repl} i.e there should be a way to pass the *.debug.nockma (output of juvix compile anoma --debug) file to juvix dev nockma {run, eval, repl}
[x] Add proper JuvixErrors for deserialisation failures
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:
juvix dev nockma {run, eval}
juvix dev nockma {run, eval, repl}
i.e there should be a way to pass the*.debug.nockma
(output ofjuvix compile anoma --debug
) file tojuvix dev nockma {run, eval, repl}