[m-dev.] IDE for Mercury
novalazy at gmail.com
Sun Sep 17 12:23:50 AEST 2017
On Tue, 12 Sep 2017 18:45:14 +0300, Nagaev Andrey <gloom at opcode.cc> wrote:
> I added a list of editors to the Mercury wikipedia page
> https://en.wikipedia.org/wiki/Mercury_(programming_language) . You can
> add this list to development page on the web site. I think it is a
> good idea because people sometimes ask about it.
Thank you, I have added the list to the development page.
More information about the developers