14 lines
181 B
BQN
14 lines
181 B
BQN
Push ← ∾
|
|
∾
|
|
Pop ← ¯1⊸↓
|
|
¯1⊸↓
|
|
Empty ← 0=≠
|
|
0=≠
|
|
1‿2‿3 Push 4
|
|
⟨ 1 2 3 4 ⟩
|
|
Pop 1‿2‿3
|
|
⟨ 1 2 ⟩
|
|
Empty 1‿2‿3
|
|
0
|
|
Empty ⟨⟩
|
|
1
|