This is a short orientation to the language as it exists today.
It is not meant to be a complete tutorial. The syntax is still moving, names are still provisional, and some parts of the language are more mature than others. The goal here is only to make the examples in these notes easier to follow.
Values and primitive types
Seamless is statically typed, and the types are inferred. Values have types such as: