[CakeML-dev] Language reference?
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