Nock

by jtauber

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

20 earlier thoughts

0

Now we can continue our reduction of line 30:

*[a [8 [b c]]] =>
*[a [7 [[[7 [[0 1] b]] [0 1]] c]]] =>
*[*[a [[7 [[0 1] b]] [0 1]]] c] =>
*[[*[a [7 [[0 1] b ]]] *[a [0 1]]] c] =>
*[[*[*[a [0 1]] b] *[a [0 1]]] c] =>
*[[*[a b] a] c]
created Oct. 5, 2013, 11:30 p.m.

11 later thoughts

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