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). -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://lists.cakeml.org/pipermail/users/attachments/20150825/82b1116c/attachment.html>