On Thu, 2012-08-23 at 13:11 +0100, Lawrence Paulson wrote:
I'd prefer to see no language extensions at all, except by agreement among the sml community as a whole.
I wonder if the SML community as a whole has suitable processes in place to reach such agreement?
Best regards, Tjark