|
|
|
|
|
|
by yawaramin
2152 days ago
|
|
|
That repo is a bunch of TeX files (not even an implementation) that haven't been touched since 2018. I stand by my statement. By the way, the Successor ML wiki says[1]: > Standard ML, being incapable of evolution, is dead. The purpose of successor ML, or sML for short, is to provide a vehicle for the continued evolution of ML, using Standard ML as a starting point. The intention is for successor ML to be a living, evolving dialect of ML that is responsive to community needs and advances in language design, implementation, and semantics. Again, I stand by my statement that Standard ML is dead. [1] https://smlfamily.github.io/successor-ml/OldSuccessorMLWiki/... |
|
|