I have created a new organization on the chat system Zulip.com. This
Zulip organization now has “streams” (or chat channels) for “Standard
ML”, “SML/NJ”, “MLton”, and “general”, and Topics can be created under
these streams. I would welcome a new stream for discussion of Poly/ML,
and encourage people on the polymer mailing list to join the Zulip
organization using the following invitation link:
https://standardml.zulipchat.com/join/7zpttltlmvicuv6ite6ogbdl/
The URL for the organization is standardml.zulipchat.com.
David MacQueen
dmacqu...@mac.com
P.S. There is also a “Standard ML” server on Discord, but I am leaning
strongly toward Zulip for future support of the Standard ML community.
P.S. The new home of SML/NJ is https://github.com/smlnj. The source
repositories, Issues (e.g. bug reports), Wiki, and Discussions are
there, but the smlnj.org web site is still hosted at the University of
Chicago.
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
