WIP: remove %loud hint, add Ackermann function

zorp-corp · Jun 13, 2023 · 37d1a73 · 37d1a73
1 parent 38d8990
commit 37d1a73
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 14 deletions.
diff --git a/hoon/scaffolding/baby.hoon b/hoon/scaffolding/baby.hoon
@@ -26,8 +26,7 @@
     ^-  ^
     :: ~>  %slog.[0 'got']
     :: ~>  %slog.[0 -.card.ovo]
-    ~>  %loud.0
-    =/  fec  [//term/1 %blit [%put "effect"] [%nel ~] ~]
+    =/  fec  [//term/1 %blit [%put (jois "A(2,1) = " (ack 2 1))] [%nel ~] ~]
     [[fec ~] ..poke]
   --
   ::

diff --git a/hoon/scaffolding/cradle.hoon b/hoon/scaffolding/cradle.hoon
@@ -718,4 +718,15 @@
     =+  d=(get b)
     (~(put by a) b (~(put in d) c))
   --
+++  ack
+  |=  [m=@ud n=@ud]
+  ?~  m  +(n)
+  ?~  n
+    $(m (dec m), n 1)
+  $(m (dec m), n $(n (dec n)))
+++  jois
+  |=  [t=(list @t) n=@ud]
+  ?~  t
+    [`@t`(add 48 n) ~]
+  [i.t $(t t.t)]
 --
diff --git a/rust/ares/src/interpreter.rs b/rust/ares/src/interpreter.rs
@@ -671,10 +671,6 @@ fn match_hint_pre_hint(
             let mut key = Cell::new(stack, subject, formula).as_noun();
             cache.lookup(stack, &mut key)
         }
-        tas!(b"loud") => {
-            eprintln!("%loud pre-hint reporting!\r");
-            None
-        }
         _ => None,
     }
 }
@@ -704,10 +700,6 @@ fn match_hint_pre_nock(
 
             None
         }
-        tas!(b"loud") => {
-            eprintln!("%loud pre-nock reporting!\r");
-            None
-        }
         _ => None,
     }
 }
@@ -731,10 +723,6 @@ fn match_hint_post_nock(
             *cache = cache.insert(stack, &mut key, res);
             None
         }
-        tas!(b"loud") => {
-            eprintln!("%loud post-hint reporting!\r");
-            None
-        }
         _ => None,
     }
 }