Concepts

• basic flow control
• variable declaration
• type inference
• user-defined types
  • type aliasing
  • inline type definitions
• record types
• sum types
  • widening with with
  • using type constructors
    • allows variants to be of same type, e.g:

k { a:int | b:int }
v:= k.a(3)

• functions