ML
==

ML stands for _meta language_.  ML was originally designed in the
1970s as a programming language to assist theorem proving in the logic
LCF.  In the 1980s, ML split into two variants,
<:StandardML:Standard ML> and <:OCaml:>, both of which are still used
today.