[wavemode]

One of the problems with notability standards on Wikipedia is that, when an article which doesn't meet the notability standards slips through the cracks, it's unlikely to ever get deleted.

The result of this is that there are a lot of articles on Wikipedia which don't follow its own notability rules. This can be confusing and frustrating for people - like, what do you mean the Idris programming language has a Wikipedia article and Odin doesn't? Who even uses Idris?

But the reality is that, the "Idris" article also doesn't meet notability. One day someone decided to write it, and the simple fact is nobody noticed that it wasn't notable, so it stayed. But someone happened to be around to notice the writing of "Odin" and delete it.