<div dir="ltr">The version 1 beta of CakeML (available for download from <a href="https://cakeml.org">https://cakeml.org</a>) now also supports character literals (thanks to Michael for implementing them, and Yong Kiam for fixing proofs).<br></div>