Adding Erlang.
Adding Idris.
Adding Mercury.
Adding Modula-2.
Adding OCaml.
Adding Scheme.
Adding Seed7.
Adding Standard ML.