nock spec

base/pub/doc/nock.txt

@@ -0,0 +1,39 @@
+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
+
+*[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               *a