[CakeML-dev] idris also facing the killer app question

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Fri Apr 21 02:05:41 UTC 2017

slightly off-topic, but maybe of interest. I think CakeML is (has been)
asking this same question too ("CakeML is the best tool for ___?"):
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170421/12ba5393/attachment.html>

More information about the Developers mailing list