@@ -7,12 +7,20 @@ to its clean and elegant design.
77A related effort is the evolution of the
88[ ** Standard ML Basis Library** ] ( https://github.com/SMLFamily/BasisLibrary ) .
99
10+ Note that this repository used to be called` Proposed-Definition-of-Successor-ML ` , but
11+ it has been renamed to` Successor-ML ` . You can redirect the URL of any repository
12+ clones using the command:
13+ ``` sh
14+ $ git remote set-url origin https://github.com/SMLFamily/Successor-ML.git
15+ ```
16+
1017##Definition
1118
1219The LaTeX sources for** The Definition of Successor ML** can be found in the
1320` definition ` directory.
1421
1522##Design proposals
23+ * Coming soon*
1624
1725##Implementation efforts
1826
@@ -22,9 +30,9 @@ At this time, there are three implementation efforts to support Successor ML.
2230 implementation, which implements all of the features described in the
2331** The Definition of Successor ML** (and more).
2432
25- + The[ ** MLton** ] ( https://mlton.org ) implementation of Standard ML isimplementing
33+ + The[ ** MLton** ] ( https://mlton.org ) implementation of Standard ML isworking on supporting
2634 Successor ML features. See[ http://mlton.org/SuccessorML ] for details.
2735
2836+ The[ ** Standard ML of New Jersey** ] ( https://smlnj.org ) implementation of Standard ML
29- is alsoimplementing Successor ML features
37+ is alsoworking on supporting Successor ML features
3038 (as of[ Version 110.79] ( http://smlnj.org/dist/working/110.79/110.79-README.html ) ).