[CakeML-dev] Language reference?

Scott Owens S.A.Owens at kent.ac.uk
Fri Aug 11 12:53:09 UTC 2017

> On 2017/08/11, at 09:50, Magnus Myreen <magnus.myreen at gmail.com> wrote:
> Hi Scott,
> At some point you were developing a language reference for CakeML. Is it online and how complete is it?

It’s not online as a document, but it is in the documentation directory on master.

> 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.

I think it’s good enough for that.


More information about the Developers mailing list