I _swear_ there used to be a **T-shirt** for sale featuring the immortal words:

---

What part of

![Hindley-Milner][1]

  [1]: https://i.stack.imgur.com/xkKgE.png

do you _not_ understand?

---

In my case, the answer would be... all of it!

In particular, I often see notation like this in Haskell papers, but I have no clue what any of it means. I have no idea what branch of mathematics it&#39;s supposed to be.

I recognize the letters of the Greek alphabet of course and symbols such as &quot;∉&quot; (which usually means that something is not an element of a set).

On the other hand, I&#39;ve never seen &quot;⊢&quot; before ([Wikipedia claims it might mean &quot;partition&quot;][wiki]). I&#39;m also unfamiliar with the use of the vinculum here. (Usually, it denotes a fraction, but that does not _appear_ to be the case here.)

If somebody could at least tell me where to start looking to comprehend what this sea of symbols means, that would be helpful.

[wiki]:https://en.wikipedia.org/wiki/List_of_mathematical_symbols



All Denotational Semantics Solutions on Gang of Coders

Total of 1 Denotational Semantics Solutions

What part of Hindley-Milner do you not understand?