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

Create a browser editor for Mango #49

Closed

mverleg opened this issue Apr 29, 2018 · 1 comment

Labels

infra try.mango

Collaborator

mverleg commented Apr 29, 2018 •

edited

Loading

Colour coding
Basic auto-complete
Compiling (Have the compiler on wasm (in browser) #47) incl IR
Managing multiple files
Storing files in account, possibly privately
Sharing read-only versions of files
Hosting

Possibly in future:

Re-factoring support
Store file history (git integration?)
Simultaneous collaboration on files

mverleg added try.mango infra labels

Collaborator Author

mverleg commented May 13, 2018

This is moved to mangolang/website#1 (website repository).

It's split into "trying Mango" and "Mango IDE", the latter of which is not confirmed.

mverleg closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment