Post #1271877

@wilfredh or ocaml maybe.. I guess the more popular ones tend to just displace the original search results, like Rust or Java. C++ has the SEO-friendly variant "cpp". The one that saddens me the most is Lean, because what I'm looking for is this beautiful math thing, and what I end up seeing is some project management silliness (funnily enough, searching it on my phone right now brought up the drug instead)