disco> {1, 2, 3}
{1, 2, 3}
disco> {3, 1, 2}
{1, 2, 3}
disco> {3, 1, 2} == {1, 2, 3}
T
disco> {3, 1, 1, 1, 2, 3, 2}
{1, 2, 3}
disco> {T, F}
{F, T}
disco> {}
{}
disco> {1, 2, ..., 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> {8 ... 1}
{1, 2, 3, 4, 5, 6, 7, 8}
disco> {1, 3, 5, .... 50}
{1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41, 43, 45, 47, 49}
disco> {1, 4, 9, ... 36}
{1, 4, 9, 16, 25, 36}
disco> { x | x in {1 .. 10} }
{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
disco> { x | x in {1 .. 10}, x < 5 }
{1, 2, 3, 4}
disco> { 2x + 7 | x in {1 .. 10}, x < 5 }
{9, 11, 13, 15}
disco> { x * y | x in {1 .. 4}, y in {1, 10, 100}}
{1, 2, 3, 4, 10, 20, 30, 40, 100, 200, 300, 400}
disco> :type {1,2,3}
{1, 2, 3} : Set(ℕ)
disco> {1, F}
Error: typechecking failed.
https://disco-lang.readthedocs.io/en/latest/reference/typecheck-fail.html
disco> {1, -2}
{-2, 1}
disco> :type {1, -2}
{1, -2} : Set(ℤ)
disco> :type {1, -2, 3/4}
{1, -2, 3 / 4} : Set(ℚ)
disco> :type {}
{} : Set(a)