Я хотел бы использовать Visual Studio TI Program в SML, и я не знаю, как установить Poly в командной строке
Прежде всего вам нужно установить make (cmake в windows)
попробуйте посмотреть раздел установки в git repo или воспользуйтесь сайтом установки инструкция