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.

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

Shareable URL for the Effekt playground #75

Open
jiribenes opened this issue Oct 1, 2024 · 0 comments
Open

Shareable URL for the Effekt playground #75

jiribenes opened this issue Oct 1, 2024 · 0 comments
Assignees
Labels
enhancement New feature or request help wanted Extra attention is needed

Comments

@jiribenes
Copy link
Contributor

jiribenes commented Oct 1, 2024

It would be really nice if we could share code written on the Effekt playground.
The link can be really huge, that's fine, this should be client only.

Something like https://effekt-lang.org/quickstart.html?repl=<short base64-encoded string>?edit=<long base64-encoded string> would enter the text into the editor and REPL.
As a bonus, do the other direction automagically: modify the URL based on the editor (& REPL) state on every edit.
And add a "Link 🔗" button somewhere.

Maybe the base64 encoding is a bad idea, perhaps it's better to use a different encoding.

@jiribenes jiribenes converted this from a draft issue Oct 1, 2024
@jiribenes jiribenes added enhancement New feature or request help wanted Extra attention is needed labels Oct 1, 2024
@jiribenes jiribenes changed the title Shareable base64-style URL for the Effekt playground Shareable URL for the Effekt playground Oct 1, 2024
@dvdvgt dvdvgt self-assigned this Oct 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
Status: In Progress
Development

No branches or pull requests

2 participants