cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard
verified publisher icon CakeML

Pancake compiler input

Open JunmingZhao42 opened this issue 10 months ago • 1 comments

Currently the compiler only takes standard input rather than program files. It would be helpful in terms of usability to add something like import ... keyword and let the compiler takes multiple files as the input.

JunmingZhao42 avatar Feb 21 '25 03:02 JunmingZhao42

Related issue #880

ordinarymath avatar Feb 23 '25 00:02 ordinarymath