Re: [new] mosml 2.10.1

[ml]

I have been able to build mosml successfully and compile HOL theorem
prover [1] using it.

[1]: https://hol-theorem-prover.org/

Best,
Alex