From be18a61cb1446e86b5b9bf5086dde1619ae1d2f4 Mon Sep 17 00:00:00 2001 From: "C. Guy Yarvin" Date: Fri, 12 Sep 2014 12:32:59 -0700 Subject: [PATCH] Boot process. --- arvo/test.hoon | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 arvo/test.hoon diff --git a/arvo/test.hoon b/arvo/test.hoon deleted file mode 100644 index a632f70f6..000000000 --- a/arvo/test.hoon +++ /dev/null @@ -1,24 +0,0 @@ -?> ?=([@ @] .) -%. . -|= [x=@ y=@] -=- (add:all x y) -^= all -=> %164 -~% %k.164 ~ ~ -|% -++ add - ~/ %add - |= [a=@ b=@] - ^- @ - ?: =(0 a) b - $(a (dec a), b +(b)) -:: -++ dec - ~/ %dec - |= a=@ - ?< =(0 a) - =+ b=0 - |- ^- @ - ?: =(a +(b)) b - $(b +(b)) ---