7 Dec
2021
7 Dec
'21
1:25 p.m.
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.Matthews at prolingua.co.uk> wrote:
Poly/ML version 5.9 was officially released on Github last weekend. There is a fixes-5.9 branch which already contains one fix, but that just affects the interpreted version.
David
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
--
Frank Pfenning, Professor
Computer Science Department
Carnegie Mellon University
Pittsburgh, PA 15213-3891
http://www.cs.cmu.edu/~fp
+1 412 268-6343
GHC 6017