From 0b5e20bbd242d23674b0f6f529e8b587fb1999c5 Mon Sep 17 00:00:00 2001 From: Morten Olsen Lysgaard Date: Thu, 10 Dec 2020 12:29:33 +0100 Subject: [PATCH] index.html: Added Comunity section with references to mailing lists, chat and reddit --- index.html | 30 +++++++++++++++++++++++++++++- 1 file changed, 29 insertions(+), 1 deletion(-) diff --git a/index.html b/index.html index 6bfadf6..fdb94ea 100644 --- a/index.html +++ b/index.html @@ -155,7 +155,9 @@

Definitions of Standard ML

Both of these design critiques are somewhat outdated because they predate the revised Definition. -

Mailing lists

+

Community

+ +

Mailing lists

The SourceForge project hosts two mailing lists relating to Standard ML. Visit the info page for a list to subscribe.
@@ -172,6 +174,32 @@

Mailing lists

http://lists.sourceforge.net/lists/roster/sml-list
+MLton has a users and a developers list: +
+Name: MLton-user
+Address: MLton-user@mlton.org
+Subscribe: lists.sourceforge.net/lists/listinfo/mlton-user
+Archive: sourceforge.net/mailarchive/forum.php?forum_name=mlton-user
+
+Name: MLton-devel
+Address: MLton-devel@mlton.org
+Subscribe: lists.sourceforge.net/lists/listinfo/mlton-devel
+Archive: sourceforge.net/mailarchive/forum.php?forum_name=mlton-devel
+
+ +

Chat

+There is a public chat room for Standard ML at #standardml:matrix.org using the Matrix protocol. +You can join the chat using any matrix client. +
+For a one-click web-based interface use this link: app.element.io/#/room/#standardml:matrix.org + +

+Matrix is a free open source federated protocol for chat. It has several open implementations, and a lot of good open source clients for Windows, Mac, Linux, web-based, Android and iOS. See matrix.org/ for a full sales pitch. +

+ +

Reddit

+There is an active reddit community discussing everything related to Standard ML at reddit.com/r/sml/ +

Successor ML

Recently discussions of improvements and extensions of the Standard ML design