<div dir="ltr">Hi Scott,<div><br></div><div>At some point you were developing a language reference for CakeML. Is it online and how complete is it?</div><div><br></div><div>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.</div><div><br></div><div>Cheers,</div><div>Magnus</div></div>