From 8ed991462b25ae0e95862724c1de78bfefd343a4 Mon Sep 17 00:00:00 2001 From: "C. Guy Yarvin" Date: Tue, 23 Jan 2018 18:56:59 -0800 Subject: [PATCH] Preliminary Nock 4 spec. --- Spec/nock/4.txt | 44 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) create mode 100644 Spec/nock/4.txt diff --git a/Spec/nock/4.txt b/Spec/nock/4.txt new file mode 100644 index 0000000000..31fafa7390 --- /dev/null +++ b/Spec/nock/4.txt @@ -0,0 +1,44 @@ +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]] + +?[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 b] a +#[(a + a) b c] #[a [b /[(a + a + 1) c]]] +#[(a + a + 1) b c] #[a [/[(a + a + 1) c] b]] +#a #a + +*[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 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 12 [b c] d] #[b *[a c] *[a d]] + +*a *a +