From 9ebbcf7d08a3f96c06b6cb72c5de5d11413cd03f Mon Sep 17 00:00:00 2001 From: d_m Date: Thu, 18 Apr 2024 10:25:07 -0400 Subject: [PATCH] udpate to new ?^ register --- arith.modal | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/arith.modal b/arith.modal index 597e91e..892f174 100644 --- a/arith.modal +++ b/arith.modal @@ -376,7 +376,7 @@ <> (force (x ?t)) ((x force ?t)) -- ( emit ) -<> (emit force/r ?*) (?*) +<> (emit force/r ?^) (?^) -- ( to binary string ) <> ((bstr (N ?x))) ((bstr1 force ?x ())) @@ -414,4 +414,4 @@ <> ((hdigit 0 1 1 1)) (e) <> ((hdigit 1 1 1 1)) (f) -(ostr (pow (nat 19) (nat 19))) +(str (nat 999))