-
Notifications
You must be signed in to change notification settings - Fork 312
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
Added Idris repl support #354
Conversation
any updates? |
I guess, this PR just got lost.. |
I'd be interested in seeing this PR come in. Is it just lost or? What is the current status of it? |
Hi @gregoryyoung. See the project status note in Readme. It's frozen currently |
Merging the shit out of this, someday I will try Idris :) |
Cool! Finally 🎉 |
👍
…On Fri, Jan 27, 2017 at 8:01 PM, Alexey Alekhin ***@***.***> wrote:
Cool! Finally 🎉
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#354 (comment)>, or mute
the thread
<https://github.com/notifications/unsubscribe-auth/AAXRWlAwRFsoaxzzDaUixXvQA0DR5w9Gks5rWk0bgaJpZM4By_oX>
.
--
Studying for the Turing test
|
Could you please check that everything is working fine with Idris? |
@JoelSanchez sorry, but I don't use Sublime currently. |
Support for the Idris lang REPL