[CakeML-dev] Language reference?

Magnus Myreen magnus.myreen at gmail.com
Fri Aug 11 08:50:34 UTC 2017

Hi Scott,

At some point you were developing a language reference for CakeML. Is it
online and how complete is it?

Several students have asked me what the CakeML language supports. It would
be helpful to show them (at least a draft of) the language reference.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170811/5f450f93/attachment.html>

More information about the Developers mailing list