Hst hst

Product types

In a type expression, a tuple creates a product type. In other words, with a type expression, you get

nametype A = ({0,1}, {2,3}) A == {(0,2), (0,3), (1,2), (1,3)}

whereas in a regular expression, you get

A == ({0,1}, {2,3})

Currently type expressions only occur in nametype statements.

Lighthouse: [#17] http://github.com/hst/hst/commit...