17 Apr
2020
17 Apr
'20
11:28 a.m.
I think it would be a great idea. There is already a library on GitHub:
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.Matthews at 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?