Hi,
I find the Basis Library to be inadequate for many of my use
cases. E.g. I'm used to having built-in Set and Map/Dict abstract
datatypes (ADTs); and built-in sort function for all the common ADTs.
Then, I realise I can start poly by loading all the code with "--use
FILE" from command line.
So
> On 07/12/21 13:25, Frank Pfenning wrote:
>> Would it be possible to update the Brew formula for PolyML from 5.8.2?
>> I couldn't easily determine who the maintainer for that is.
The last updater was Github user @carlocab,
https://github.com/Homebrew/homebrew-core/commit/64c07649cd8949d4e9981e
I can't help with Brew but in case it's any use, the MacPorts port has
been updated, although there is a pending merge request to apply fixes
for arm.
Regards,
Phil
On 07/12/21 13:25, Frank Pfenning wrote:
Would it be possible to update the Brew formula for PolyML from 5.8.2?
I couldn't easil
Would it be possible to update the Brew formula for PolyML from 5.8.2?
I couldn't easily determine who the maintainer for that is.
Thanks,
Frank
On Fri, Nov 26, 2021 at 3:18 AM David Matthews <
david.matth...@prolingua.co.uk> wrote:
> Poly/ML version 5.9 was officially released on Github last we