[CakeML-dev] Language reference?
magnus.myreen at gmail.com
Fri Aug 11 08:50:34 UTC 2017
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...
More information about the Developers