[CakeML-dev] semantics/printScript.sml

Scott Owens S.A.Owens at kent.ac.uk
Sun Apr 9 11:06:34 UTC 2017

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.


More information about the Developers mailing list