A related effort is the evolution of the

[**Standard ML Basis Library**](https://github.com/SMLFamily/BasisLibrary).

== Definition

The LaTeX sources for**The Definition of Successor ML** can be found in the

`definition` directory.

== Design proposals

== Implementation efforts

At this time, there are three implementation efforts to support Successor ML.