Re: [new] mosml 2.10.1

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 > distribution, copyright (C) 1993 INRIA, Rocquencourt, France. Thus > charging money for redistributing Moscow ML may require prior > ^ > permission from INRIA; see the INRIA copyright

Re: [new] mosml 2.10.1

I have been able to build mosml successfully and compile HOL theorem prover [1] using it. [1]: https://hol-theorem-prover.org/ Best, Alex

Re: [new] mosml 2.10.1

Yozo TODA writes: > Recent messages on mlton reminds me about mosml port I submitted 3 years ago. > here is a port stuff updated to the current version 2.10.1. > I confirmed this on amd64. > > [DESCR] > Moscow ML implements Standard ML (SML), as defined in the 1997 >

[new] mosml 2.10.1

Recent messages on mlton reminds me about mosml port I submitted 3 years ago. here is a port stuff updated to the current version 2.10.1. I confirmed this on amd64. [DESCR] Moscow ML implements Standard ML (SML), as defined in the 1997 Definition of Standard ML, including the SML Modules