[CakeML-dev] semantics/printScript.sml

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Sun Apr 9 11:23:37 UTC 2017

It doesn't seem to me to be used anywhere.

On 9 April 2017 at 21:06, Scott Owens <S.A.Owens at kent.ac.uk> wrote:

> Is semantics/printScript.sml used anywhere? I think it is left over from
> version 1 having a built-in repl. I will delete it (and the to_string
> functions in semanticPrimitives) unless someone thinks it is worth keeping.
> Scott
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170409/f8fe1bed/attachment.html>

More information about the Developers mailing list