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)) ---