[CakeML-dev] Language reference?

[Scott Owens]

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

Scott