florian.haftmann at informatik.tu-muenchen.de
Wed Feb 17 09:58:24 CET 2016
> With such a painfully slow and incomplete SML/NJ test, it is time to ask
> the canonical question:
> Are there remaining uses of SML/NJ, or can it be discontinued now?
I would also prefer a second usable ML implementation as reference, but
we have to face that only maintained platforms as Poly/ML remain
suitable for our needs.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 836 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev