Tuples

The Idea

• Types and terms in []s
• Can contain any type of term, heterogeneously
• Tuples removed from FOF and plain TFF

Examples

• [$real,$real] and [2.3,-6.6]
• p: ([$int,$i,$o] * $o * $int) > $o
  q: ($int * $i) > $o
  me: $i
  ! [X: $int] : p([33,me,$true],! [Y: $i] : q(X,Y),27)