Re: [m-users.] A list of Mercury resources
"Sean Charles (emacstheviking)" <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
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 <[email protected]> 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 <[email protected]>: >>> >>> 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 > [email protected] > https://lists.mercurylang.org/listinfo/users _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users