[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Bug#494488: ITP: polyml -- Standard ML implementation



* Bernd Eckenfels:

> In article <[🔎] slrng9u4pf.3e1.brucker@nakagawa.brucker.ch> you wrote:
>> good point. I will add something along these lines to the 
>> package descriptions.
>
> And maybe also to the summary line? "Runtime for the Standard ML
> programming language"

This suggests that Poly/ML is the only implementation.  It's just one of
several choices available in Debian.  So it should be "runtime for
Standard ML programs compiled with Poly/ML".


Reply to: