Standard ML N2O ECO

O1 ECO is a Standard ML N2O implementation. Standard ML is a certified language with well defined operational semantics. Having N2O in this language is a matter of formality.

Standard ML N2O ECO home: https://o1.network