Closed paulcadman closed 1 month ago
This PR adds support for the anoma-decode builtin
anoma-decode
builtin anoma-decode axiom anomaDecode : {A : Type} -> Nat -> A
Adds:
cue
Benchmark results:
cue (jam stdlib): OK 36.0 ms ± 2.0 ms
Closes:
This PR adds support for the
anoma-decode
builtinAdds:
cue
function in Haskellcue
cue
applied to the Anoma / nockma stdlibBenchmark results:
Closes: