cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Published 20 hours ago • verified publisher icon CakeML

--explore flag feature with pancake

Open Kswin01 opened this issue 1 year ago • 0 comments

Currently the --explore flag does not output any json when the pancake flag is also present. Would be beneficial to better understand what is happening in the generated byte code.

Kswin01 avatar Mar 23 '23 01:03 Kswin01