cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Published 20 hours ago • verified publisher icon CakeML

Argument passing to main function in Pancake.

Open Kswin01 opened this issue 1 year ago • 0 comments

A mechanism for passing arguments to Pancake's main function would be a usability improvement.

Kswin01 avatar Mar 16 '23 23:03 Kswin01