I think it would be a great idea. There is already a library on GitHub: https://ponyo.org
It has been dormant but it might make sense to join forces with them. Larry > On 13 Apr 2020, at 15:29, David Matthews <david.matth...@prolingua.co.uk> > wrote: > > I've been wondering if there was some way to set up a general repository of > contributions to Poly/ML so that users would know where to look for > something. It would be important that the contributors would be responsible > for any ongoing maintenance and that users would know where to direct > problems in particular contributions. What does everyone think? How might > this be done? _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml