> Sets are characterized by the \in relation: we can ask which items are elements of a set and which are not. > Types, on the other hand, are characterized by

> Sets are characterized by the \in relation: we can ask which items are elements of a set and which are not. > Types, on the other hand, are characterized by how elements of the type are built: we can construct elements of a type (and deconstruct them) in certain ways specific to the type. Huh. So sets vs types are like folksonomies vs taxonomies? Neat. -- Tangent: > Disco> {1,2} ⊆ {1,2,3} Dumb question: How are you entering mathematically symbols? My hobby language recognizes both "!=" and "≠" as "not equal", and I use a font with ligatures to render them the same.