[m-dev.] IDE for Mercury

Peter Wang 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 mailing list