19 Oct
2013
19 Oct
'13
12:58 p.m.
Hi,
I am looking for a method of managing compilation for Poly/ML, like .cm files for SML/NJ and .mlb files for MLton. What I have found on polyml.org was PolyML.make -- is that the last word on this subject?
- Gergely