[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