From 887da2671a493c8e5666ddabd49d2045d7d09ff1 Mon Sep 17 00:00:00 2001 From: johncburnham Date: Wed, 13 Nov 2013 20:57:55 -0800 Subject: [PATCH] Nitpicky edit to Nock was wrong. Reverting, but changing formatting for clarity. Nock 5K now at 353 bytes. --- Spec/nock/5.txt | 66 +++++++++++++++++++++++-------------------------- 1 file changed, 31 insertions(+), 35 deletions(-) diff --git a/Spec/nock/5.txt b/Spec/nock/5.txt index cec4816160..c8cc6423b0 100644 --- a/Spec/nock/5.txt +++ b/Spec/nock/5.txt @@ -1,42 +1,38 @@ -1 Structures +A noun is an atom or a cell. An atom is a natural number. +A cell is an ordered pair of nouns. - A noun is an atom or a cell. An atom is any natural number. - A cell is an ordered pair of nouns. +nock(a) *a +[a b c] [a [b c]] -2 Reductions +?[a b] 0 +?a 1 ++[a b] +[a b] ++a 1 + a +=[a a] 0 +=[a b] 1 +=a =a - nock(a) *a +/[1 a] a +/[2 [a b]] a +/[3 [a b]] b +/[(a + a) b] /[2 /[a b]] +/[(a + a + 1) b] /[3 /[a b]] +/a /a - ?[a b] 0 - ?a 1 - +[a b] +[a b] - +a 1 + a - =[a a] 0 - =[a b] 1 - =a =a +*[a [[b c] d]] [*[a b c] *[a d]] - /[1 a] a - /[2 a b] a - /[3 a b] b - /[(a + a) b] /[2 /[a b]] - /[(a + a + 1) b] /[3 /[a b]] - /a /a +*[a [0 b]] /[b a] +*[a [1 b]] b +*[a [2 [b c]]] *[*[a b] *[a c]] +*[a [3 b]] ?*[a b] +*[a [4 b]] +*[a b] +*[a [5 b]] =*[a b] - *[a [b c] d] [*[a b c] *[a d]] +*[a [6 [b [c d]]]] *[a 2 [0 1] 2 [1 c d] [1 0] 2 [1 2 3] [1 0] 4 4 b] +*[a [7 [b c]]] *[a 2 b 1 c] +*[a [8 [b c]]] *[a 7 [[7 [0 1] b] 0 1] c] +*[a [9 [b c]]] *[a 7 c 2 [0 1] 0 b] +*[a [10 [[b c] d]]] *[a 8 c 7 [0 3] d] +*[a [10 [b c]]] *[a c] - *[a 0 b] /[b a] - *[a 1 b] b - *[a 2 b c] *[*[a b] *[a c]] - *[a 3 b] ?*[a b] - *[a 4 b] +*[a b] - *[a 5 b] =*[a b] - - *[a 6 b c d] *[a 2 [0 1] 2 [1 c d] [1 0] 2 [1 2 3] [1 0] 4 4 b] - *[a 7 b c] *[a 2 b 1 c] - *[a 8 b c] *[a 7 [[7 [0 1] b] 0 1] c] - *[a 9 b c] *[a 7 c 2 [0 1] 0 b] - *[a 10 [b c] d] *[a 8 c 7 [0 3] d] - *[a 10 b c] *[a c] - - [a b c] [a [b c]] - *a *a +*a *a \ No newline at end of file