Yes of course, provided the changes emphasise new capabilities. Tinkering with existing library functions (renaming in particular) must be kept to an absolute minimum. Larry Paulson
On 24 Sep 2012, at 14:36, David Matthews David.Matthews@prolingua.co.uk wrote:
I received this message from John Reppy just now and thought it might be of interest to the Poly/ML list. In general I'm in favour of evolving libraries rather than the language so I'd tend to look favourably on this but I wondered if there were any views from users of Poly/ML.