Nock

32 thoughts
last posted Oct. 18, 2013, 4:24 p.m.

21 earlier thoughts

0

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.

10 later thoughts