Hello, I would like to know if there is ducomentation or tutorials on how to program with CakeML? Regards, yves -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://lists.cakeml.org/pipermail/users/attachments/20160430/d70c1d27/attachment.html>