The list seems rather arbitrary. To add to the list, I would consider also: CLIPS, Coq, Dhall, Factor, Inform, Stan.
As opposed to what list? An exhaustive one? The quality he asks of the languages in the list is "interesting", which is by definition rather arbitrary itself.
This is a good (albeit exhaustive) list too: https://en.wikipedia.org/wiki/List_of_programming_languages_...
But such a list would be a lot more decisive.
Ponylang is listed as "--" instead of "concurrency as a primitive type".
I'm not sure I can trust anything on the list, so it doesn't motivate me to investigate further. YMMV
I do care for a set of links to languages I've not seen yet, where I can click and check their websites -- and this provides it.