On 17/05/18 18:12, Mario Xerxes Castelán Castro wrote: > The Poly/ML mailing list appears to be down at the moment.
David Matthews is the guy behind this. I have contacted him privately, and he has now updated the webiste http://polyml.org to refer to the changed URL of the mailing list: http://lists.inf.ed.ac.uk/mailman/listinfo/polyml David seems to be not subscribed here, so I am posting this on his behalf. Makarius ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
