Disco> {1, 2, 3}
{1, 2, 3}
Disco> {3, 1, 1, 2, 1}
{1, 2, 3}
Disco> {1, 2, 3} == {3, 1, 2}
T
Disco> 
Disco> {1, ..., 10}
{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
Disco> {1, .., 10}
{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
Disco> {1, ........, 10}
{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
Disco> {1 .. 10}
{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
Disco> {1, 3, 5 ... 19}
{1, 3, 5, 7, 9, 11, 13, 15, 17, 19}
Disco> {1, 4, 9 ... 36}
{1, 4, 9, 16, 25, 36}
Disco> :type {1,2,3}
{1, 2, 3} : Set(ℕ)
Disco> :type {1,2,-3}
{1, 2, -3} : Set(ℤ)
Disco> :type {1, 2/3, -10}
{1, 2 / 3, -10} : Set(ℚ)
Disco> :type {1, F}
Error: typechecking failed.
https://disco-lang.readthedocs.io/en/latest/reference/typecheck-fail.html
Disco> {x | x in {1 .. 10}, x > 3}
{4, 5, 6, 7, 8, 9, 10}
Disco> {x^2 + 9 | x in {1 .. 10}, x > 3}
{25, 34, 45, 58, 73, 90, 109}
Disco> {1,2,3} subset {3,5,2}
F
Disco> {1,2,3} subset {1,3,5,2}
T
Disco> 1 elem {1,2,3}
T
Disco> 1 elem {1,2,3}  // Is 1 an element of {1,2,3} ?
1:47:
  |
1 | 1 elem {1,2,3}  // Is 1 an element of {1,2,3} ?
  |                                               ^
unexpected '?'
expecting end of input, expression, operator, or type annotation

Disco> 1 elem {1,2,3}  -- Is 1 an element of {1,2,3} ?
T
Disco> {} subset {1 .. 10}
T
Disco> { 2x + y | x in {10, 100, 1000}, y in {1 .. 7} }
{21, 22, 23, 24, 25, 26, 27, 201, 202, 203, 204, 205, 206, 207, 2001, 2002, 2003, 2004, 2005, 2006, 2007}
Disco>