urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-25 13:04:17 +03:00
Code Issues Packages Projects Releases Wiki Activity

Nitpicky edit to Nock was wrong. Reverting, but changing formatting for clarity. Nock 5K now at 353 bytes.

Browse Source
This commit is contained in:
johncburnham 2013-11-13 20:57:55 -08:00
parent c0320389b8
commit 887da2671a
1 changed files with 31 additions and 35 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
Spec/nock/5.txt
View File

@ -1,11 +1,8 @@
1 Structures
A noun is an atom or a cell. An atom is any natural number.
A noun is an atom or a cell. An atom is a natural number.
A cell is an ordered pair of nouns.
2 Reductions
nock(a) *a
[a b c] [a [b c]]
?[a b] 0
?a 1
@ -16,27 +13,26 @@
=a =a
/[1 a] a
/[2 a b] a
/[3 a b] b
/[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 b c] [a [b c]]
*a *a