Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Serialization and imports #68

Open
cangiuli opened this issue May 8, 2020 · 3 comments
Open

Serialization and imports #68

cangiuli opened this issue May 8, 2020 · 3 comments

Comments

@cangiuli
Copy link
Collaborator

cangiuli commented May 8, 2020

See, for example, what @favonia did in redtt.
@favonia
Copy link
Collaborator

favonia commented May 11, 2020

Should the compiled files having the suffix frozen? LOL

@cangiuli cangiuli mentioned this issue May 21, 2020
Closed
@favonia favonia mentioned this issue Jan 1, 2023
Open
20 tasks
@favonia favonia changed the title imports Serialization and imports Mar 20, 2022
@jonsterling
Copy link
Collaborator

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

@favonia
Copy link
Collaborator

favonia commented May 26, 2022

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@jonsterling @cangiuli @favonia