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 Windows, I however managed to obtain a previous version 5.5.0
from source forge.
I have had success building and using PolyML under Cygwin, which is
a DLL that provides a POSIX-like layer on top of Windows (and large
collection of programs compiled to use it, including X windows ones).
It also works under WSL (Windows Subsystem for Linux).
Eliot Moss
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml