cooltt icon indicating copy to clipboard operation
cooltt copied to clipboard

Published 20 hours ago • verified publisher icon RedPRL

Serialization and imports

Open cangiuli opened this issue 4 years ago • 3 comments

See, for example, what @favonia did in redtt.

cangiuli avatar May 08 '20 21:05 cangiuli

Should the compiled files having the suffix frozen? LOL

favonia avatar May 11 '20 14:05 favonia

This seems to be done. Shall we close this ticket? @favonia

jonsterling avatar May 26 '22 16:05 jonsterling

It's not really done because we did not output a "frozen" file. @TOTBWF

favonia avatar May 26 '22 17:05 favonia