[CakeML-dev] Language reference?

[Magnus Myreen]

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.

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