这是一个用标准ML编写的软件目录,将与Poly/ML一起使用。如果在公开可用的存储库中有库、应用程序或示例代码想要加入这个目录,请注册并将其添加到列表中。如果你已经移植了Poly/ML到操作系统或包管理系统请添加条目。