On Thu, 2014-10-02 at 23:19 +0200, Makarius wrote:
We also need to find out how many people are still there to use SML. So
far there are already 9 supporters on
http://stackoverflow.com/questions/2036744/ml-ide-and-compiler-for-windows-or-linux-or-mac
and the green tick has changed as
On Fri, Oct 3, 2014 at 3:15 PM, Tjark Weber tjark.we...@it.uu.se wrote:
Further note that print is also not Standard ML, although TextIO.print
is covered by the Basis Library.
In what sense is print not Standard ML?
In the same way use is not Standard ML (although as Makarius points out,
On Fri, 2014-10-03 at 15:32 +0100, Ramana Kumar wrote:
On Fri, Oct 3, 2014 at 3:15 PM, Tjark Weber tjark.we...@it.uu.se
wrote:
Further note that print is also not Standard ML, although
TextIO.print is covered by the Basis Library.
In what sense is print not
On Thu, 2 Oct 2014, Tjark Weber wrote:
1. I suspect that the ITP aspect of Isabelle may put off people who
just want to write SML code. (For instance, there are many documents
and panels visible in the UI that are entirely irrelevant to SML
programming.) If you had unlimited time, I would