That's ... actually pretty good! I'm usually quite frustrated by those, but this one is not so terrible.

Some remarks:

- Coq is not an ML at all, it's simply implemented in OCaml and has a vaguely similar syntax. I think dependently typed languages should have their own category, as they have a rich history (coming from type theory, obviously).

- Elm is almost certainly more an ML than an Haskell. The only link with Haskell is really the syntax.

- Speaking of Elm, you might want to add something on synchronous languages (You can start by looking up Lustre).

- ML languages with modules, and especially OCaml, took pretty direct inspiration from Modula 2's modules.

- Curry is half Haskell and half Prolog.