Nock

by jtauber

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

31 earlier thoughts

0

This would also seem to explain why [7 [b c]], which is analogous to the B combinator, can be more simply defined.

As we previously saw, 

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

where as

B => S (K S) K

created Oct. 18, 2013, 2:23 a.m.

Keyboard Help

Keyboard navigation

  • ? This help dialog
  • c Compose a new Thought
  • g Compose a new General Thought
  • j or ← View previous card in stream
  • k or → View next card in stream
  • p View card details in presentation mode
  • s Go to stream detail from card detail
  • ctrl + enter Publish card currently being created
  • alt + enter Save card in draft status that is currently being created.
  • esc Close an open modal