Mods please change title to “Ink programming language” (currently says “Dot Ink...”). The language is called “Ink”; “dotink” is just the domain name. As also

Mods please change title to “Ink programming language” (currently says “Dot Ink...”). The language is called “Ink”; “dotink” is just the domain name. As also mentioned in the author’s comment: https://news.ycombinator.com/item?id=27798704 https://news.ycombinator.com/item?id=27798704 .