[CakeML] stack overflow error before getting to Cake.S

Milad Ketabii ketabii.math at gmail.com
Thu Oct 5 10:25:17 UTC 2017

Good day

I had attempted to get to the CakeML but failed. As you see in the attached
screen shot, I've got an error which looks like a stack overflow message.
It would be very kind of you to let me know how to fix it so that
eventually I get to have some 'Cake'.

many thanks,

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/users/attachments/20171005/e21a3d85/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screenshot from 2017-06-22 12-21-02.png
Type: image/png
Size: 102666 bytes
Desc: not available
URL: <https://lists.cakeml.org/pipermail/users/attachments/20171005/e21a3d85/attachment-0001.png>

More information about the Users mailing list