21 earlier thoughts
You may have noticed that the formula [0 1] is the identity operator. That is, *[a [0 1]] is a. This is clear from lines 21 and 12.
[0 1]
*[a [0 1]]
a
10 later thoughts
Keyboard navigation
?
c
g
j
←
k
→
p
s
ctrl + enter
alt + enter
esc