[m-users.] A list of Mercury resources

[Sean Charles (emacstheviking)]

This pages is how I found out about mmc-doc IIRC, I can't live without that little gem!



> On 18 Nov 2022, at 13:58, Volker Wysk <post at volker-wysk.de> wrote:
> 
> Am Freitag, dem 18.11.2022 um 13:46 +0100 schrieb Dirk Ziegemeyer:
>> Hi Volker,
>> 
>>> Am 18.11.2022 um 12:25 schrieb Volker Wysk <post at volker-wysk.de>:
>>> 
>>> Hi!
>>> 
>>> On the mercurylang.org website, unter Developent -> contributing, this is
>>> written:
>>> 
>>> "If you've written some code using Mercury we'd love to find out about it.
>>> If you think it might be in any way useful to other people, you might be
>>> interested in making your code available for download. ... We are happy to
>>> place it on the Mercury web and ftp sites for you."
>>> 
>>> I haven't found such a place on the Mercury web site. So I want to volunteer
>>> to put one together (a list of Mercury resources). It could be placed in the
>>> Github wiki, with a link from the mercurylang.org site to it.
>> 
>> There was an attempt to collect Mercury packages on a website some years ago. Is is still online and linked in this conversation:
>> https://lists.mercurylang.org/archives/users/2019-August/008713.html
> 
> This doesn't look bad. It resembles a litte Haskell's Cabal system. I'm
> wondering if this project is still alive. You say it's still online. I mean,
> are mmc-get and the website still being maintained? How is the acceptance by
> package authors? I've counted 45 packages, which don't include the 35
> "extras" packages in the Mercury distribution. 
> 
> If so, it should be prominently mentioned on the mercurylang.org site.
> 
> A Mercury resources list could still make sense, because it also would
> include resources other than software packages. Such as Fabrice Nicol's
> docker packages of the Mercury compiler. And it could mention collections of
> resources, such as the Documentation page at mercurylang.org or the
> "Packages" website (which seems to have no good name) itself.
> 
> Cheers,
> Volker
> 
> _______________________________________________
> users mailing list
> users at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/users