4 ms·
Something that is not mentioned in the article, the mathematical way is that the types are to the right.
by AnaniasAnanas 8y ago
Something that is not mentioned in the article, the mathematical way is that the types are to the right.
- dolguldur 8y agoexactly, e.g. let x ∈ ℝ
- AnaniasAnanas 8y agoJust a note, nowadays people tend to use : to denote the type of a value in type theory, while ∈ is used in set theory to denote that a value is a member of a set.