Nock

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

17 earlier thoughts

0

[7 [b c]] is a "function" that, when applied to a, firstly applies b to a then applies c to the result. It is therefore just function composition.

Here is a reduction:

*[a [7 [b c]]] =>
*[a [2 [b [1 c]]]] =>
*[*[a b] *[a [1 c]]] =>
*[*[a b] c]

14 later thoughts