| polyml -- Users of Poly/ML | |
|
|
|
| About polyml | |
|
Poly/ML is an implementation of Standard ML developed by David Matthews at Cambridge and at LFCS. This list is for discussions about Poly/ML and announcements of new releases. To see the collection of prior postings to the list, visit the polyml Archives. |
|
| Using polyml | |
|
To post a message to all the list members, send email to
polyml@inf.ed.ac.uk.
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
| Subscribing to polyml | |
|
Subscribe to polyml by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a hidden list, which means that the list of members is available only to the list administrator. | |
| polyml Subscribers | |
|
|
|
![]() version 2.1.29 |
![]() |
![]() |
![]() |