|
|
|
|
|
|
by octachron
1212 days ago
|
|
|
In this comparison, "purer" more often than not means that the choice simplified the formalization of SML. And for the context, many people from the OCaml side considers that the SML formalization has been for a good part responsible for the freezing of SML since 1997. |
|
|