[CakeML-dev] Dependencies

[Yong Kiam]

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>