News for hackers. Stuff that matters.

A comment on Standard ML in 2020. Parent comment

Re:Standard ML in 2020 by yakubin on Sunday October 25, 2020 @08:13PM (#24891431)
2. Good to know. I needed to do a "sudo apt install libpolyml-dev", because otherwise it wouldn't link.

3. Thanks for the tip! That will save me a world of pain.

[ Parent | on HN ]

There are no comments on this comment yet.