From f1678e09725474f1a2679aaee01f555a46d77c7a Mon Sep 17 00:00:00 2001 From: "C. Guy Yarvin" Date: Mon, 2 Dec 2013 17:01:07 -0800 Subject: [PATCH] Some batz improvements. Clean up nock spec. --- Spec/nock/5.txt | 60 ++++++++++++++++++++++++------------------------- 1 file changed, 30 insertions(+), 30 deletions(-) diff --git a/Spec/nock/5.txt b/Spec/nock/5.txt index c1e1dfaefb..85553d4c9f 100644 --- a/Spec/nock/5.txt +++ b/Spec/nock/5.txt @@ -1,39 +1,39 @@ -A noun is an atom or a cell. +A noun is an atom or a cell. An atom is a natural number. A cell is an ordered pair of nouns. -nock(a) *a -[a b c] [a [b c]] +nock(a) *a +[a b c] [a [b c]] -?[a b] 0 -?a 1 -+[a b] +[a b] -+a 1 + a -=[a a] 0 -=[a b] 1 -=a =a +?[a b] 0 +?a 1 ++[a b] +[a b] ++a 1 + a +=[a a] 0 +=[a b] 1 +=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 +/[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 c] d]] [*[a b c] *[a d]] +*[a [b c] d] [*[a b c] *[a d]] -*[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 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 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 *a \ No newline at end of file +*a *a