项目描述 ：
Standard ML is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.

高级语言： Standard ML

项目主页：

项目地址: git://github.com/diffrxction/Standard-ML.git

创建时间： 2020-10-15T16:41:04Z
项目社区：https://github.com/diffrxction/Standard-ML
开源协议：Apache License 2.0
下载