ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-01 11:33:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

Minor nitpicky change to the Nock spec

Browse Source
This commit is contained in:
johncburnham 2013-11-13 19:18:09 -08:00
parent f508f8c642
commit ab1cfc58ab
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
arvo/hoon.hoon
View File

@ -16,7 +16,6 @@
:: Consider this Turing-complete non-lambda automaton, "Nock":
::
:: nock(a) *a
:: [a b c] [a [b c]]
::
:: ?[a b] 0
:: ?a 1
@ -49,6 +48,7 @@
:: *[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
::
:: In a reflexive stage X, we assert, *[A_X B_X] yields B_X.

2
spec/nock/5.txt
View File

@ -6,7 +6,6 @@
2 Reductions
nock(a) *a
[a b c] [a [b c]]
?[a b] 0
?a 1
@ -39,4 +38,5 @@
*[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