progs/tests/tuples.sy


1
2
3
4
5
6
7
8
9
10
11
12

start :: fn {
    a := (1,2)
    a[0] <=> 1
    a[1] <=> 2

    b := (1,)
    b[0] <=> 1

    empty := ()
    c := (empty,)
    c[0] <=> ()
}