doc/guide/src/ML.adoc

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