GitHub migration completed
7 Apr 2021
We are pleased to announce that we have completed migration to GitHub!
News
SML# 4.0.0 released
6 Apr 2021
SML# 4.0.0 has been released.
Relicensing to MIT license
2 Apr 2021
In agreement with Tohoku University on March 25, 2021, we (the SML# development team) have decided to relicense the SML# software.
An SML# book is coming
24 Mar 2021
A Japanese textbook of SML# will be published.
We are working on migration to GitHub
19 Mar 2021
We are going to migrate to GitHub. All resources related to SML#, including website and repositories, will be moved to GitHub.
SML# 3.7.1 released
15 Mar 2021
SML# 3.7.1 has been released.