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

New playground is available at https://nim.ide.judge0.com #11599

Closed
hermanzdosilovic opened this issue Jun 26, 2019 · 6 comments
Closed

New playground is available at https://nim.ide.judge0.com #11599

hermanzdosilovic opened this issue Jun 26, 2019 · 6 comments

Comments

@hermanzdosilovic
Copy link

Hi,

I am the author of Judge0 and I have deployed free alternative playground for Nim programming language. It is available at https://nim.ide.judge0.com.

Take a look at my release notes that describe my current plan with maintaining this. Let me know what you think.

Best regards,
Herman

@andreaferretti
Copy link
Collaborator

That's great to know! I think you can spark more discussion by posting the same news on the official forum

@kaushalmodi
Copy link
Contributor

@hermanzdosilovic Can we have an Emacs mode?

@kaushalmodi
Copy link
Contributor

@hermanzdosilovic Can you also have a window to show compile time messages? They are very important when designing macros.

E.g. I'd like to see what's printed on stdout when just compiling http://ix.io/1MUr.

@narimiran
Copy link
Member

narimiran commented Jun 27, 2019

Can we have an Emacs mode?

Can you also have a window to show compile time messages?

Shouldn't these kind of comments/issues/discussion be posted on https://github.com/judge0/ide/issues ?

And I agree with @andreaferretti, this is an announcement and our forum or other discussion channels (r/nim, twitter, IRC, etc.) are better suited for it than issue tracker.

@kaushalmodi
Copy link
Contributor

Shouldn't these kind of comments/issues/discussion be posted on https://github.com/judge0/ide/issues ?

Done.

@mratsim
Copy link
Collaborator

mratsim commented Jun 27, 2019

Closing then since there is a proper channel for feature requests.

@mratsim mratsim closed this as completed Jun 27, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

5 participants