Re: [polyml] Poly/ML 5.9.1 vs. Isabelle/ML with proper IDE

2024-01-19 Thread Makarius
On 19/01/2024 14:45, Andrew Goh via polyml wrote: As the latest Poly/ML 5.9.1 version is not available for Windows, I however managed to obtain a previous version 5.5.0 from source forge. > I was wondering if Poly/ML can be improved until it looks like, feels like and works like a copy of

Re: [polyml] Poly/ML 5.9.1

2024-01-19 Thread Eliot Moss
On 1/19/2024 8:45 AM, Andrew Goh via polyml wrote: Hi Poly/ML List members, I am starting to pick up the Poly/ML language by relying on SML/NJ resources. Do you have any free pdf tutorials that you can recommend and that I can obtain. As the latest Poly/ML 5.9.1 version is not available for

[polyml] Poly/ML 5.9.1

2024-01-19 Thread Andrew Goh via polyml
Hi Poly/ML List members, I am starting to pick up the Poly/ML language by relying on SML/NJ resources. Do you have any free pdf tutorials that you can recommend and that I can obtain.  As the latest Poly/ML 5.9.1 version is not available for Windows, I however managed to obtain a previous