disco> |{1,2,3}|
3
disco> |{2, 4 ... 100}|
50
disco> |{}|
0
disco> |A|
Loading disco-live.disco...
Loaded.
19
disco> {1,2,3} >< {T, F}
{(1, F), (1, T), (2, F), (2, T), (3, F), (3, T)}
disco> {1,2,3} ⨯ {T, F}
{(1, F), (1, T), (2, F), (2, T), (3, F), (3, T)}
disco> |{1..100} >< {2,4,6,8}|
400
disco> power({1,2,3})
{{}, {1}, {1, 2}, {1, 2, 3}, {1, 3}, {2}, {2, 3}, {3}}
disco> power({1,2})
{{}, {1}, {1, 2}, {2}}
disco> power({})
{{}}
disco> power({{}})
{{}, {{}}}
disco> power(power({}))
{{}, {{}}}
disco> power(power(power({})))
{{}, {{}}, {{}, {{}}}, {{{}}}}
disco> power(power(power(power({}))))
{{}, {{}}, {{}, {{}}}, {{}, {{}}, {{}, {{}}}}, {{}, {{}}, {{}, {{}}}, {{{}}}}, {{}, {{}}, {{{}}}}, {{}, {{}, {{}}}}, {{}, {{}, {{}}}, {{{}}}}, {{}, {{{}}}}, {{{}}}, {{{}}, {{}, {{}}}}, {{{}}, {{}, {{}}}, {{{}}}}, {{{}}, {{{}}}}, {{{}, {{}}}}, {{{}, {{}}}, {{{}}}}, {{{{}}}}}
disco> :type {1,2,3}
{1, 2, 3} : Set(ℕ)
disco> :type power({1,2,3})
power({1, 2, 3}) : Set(Set(ℕ))
disco> :type ({1,2,3} >< {T,F})
{1, 2, 3} >< {T, F} : Set(ℕ × Bool)
disco> g(4,6)
Loading disco-live.disco...
Loaded.
24