search

idris-hackers / atom-language-idris

A Idris Mode for Atom.io
MIT License
100 stars 24 forks source link

Release 0.5.0 #215

Closed justjoheinz closed 6 years ago

justjoheinz commented 6 years ago

@melted I am done with all fixes I can do at the moment. I think we should go ahead with a release. Is there anything I can do to support this?

melted commented 6 years ago

You’ve done enough. :)

All I have to is to set a tag, collect some release notes and publish it.

12 sep. 2018 kl. 10:59 skrev Markus Klink notifications@github.com:

@melted I am done with all fixes I can do at the moment. I think we should go ahead with a release. Is there anything I can do to support this?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.

melted commented 6 years ago

Oh yeah, and we should decide whether to put in the updated keybindings...

Should we? I like them, but they conflict with the book.

12 sep. 2018 kl. 10:59 skrev Markus Klink notifications@github.com:

@melted I am done with all fixes I can do at the moment. I think we should go ahead with a release. Is there anything I can do to support this?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.

justjoheinz commented 6 years ago

For the time being I would stick with the book. I also like the current key bindings. On the other hand, I am really fond of allowing people to contribute.

melted commented 6 years ago

Published!