[CakeML-dev] Dependencies

Yong Kiam tanyongkiam at gmail.com
Mon Dec 19 03:12:27 UTC 2016

Doesn't normal EVAL work for the stuff in backendProof?

I don't think the computeLib eval is very different from EVAL except for
the target encoder compsets (which backendProof shouldn't depend on)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161218/0081237c/attachment.html>

More information about the Developers mailing list