d6
/
modal
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

udpate to new ?^ register

This commit is contained in:
~d6 2024-04-18 10:25:07 -04:00
parent dcd8b283e5
commit 9ebbcf7d08
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
arith.modal
View File

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