[CakeML] char literals

[Konrad Slind]

Would that mean that the translator understands characters (Char.ord and
Char.chr
in particular)?

Konrad.


On Mon, Aug 24, 2015 at 6:30 PM, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk>
wrote:

> The version 1 beta of CakeML (available for download from
> https://cakeml.org) now also supports character literals (thanks to
> Michael for implementing them, and Yong Kiam for fixing proofs).
>
> _______________________________________________
> Users mailing list
> Users at cakeml.org
> https://lists.cakeml.org/listinfo/users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/users/attachments/20150824/ce237974/attachment.html>