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
dmacqueen at 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.