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

remove commentd code

This commit is contained in:
~d6 2024-04-14 00:02:35 -04:00
parent 2642a9e361
commit 921afea1d3
1 changed files with 0 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
arith.modal
View File

@ -326,15 +326,4 @@
<> ((int1 (?h ?t))) ((int2 + (nat1 (?h ?t)))) <> ((int1 (?h ?t))) ((int2 + (nat1 (?h ?t))))
<> ((int2 ?s (N ?x))) ((Z (?s ?x))) <> ((int2 ?s (N ?x))) ((Z (?s ?x)))
-- (str (pow (nat 17) (nat 17)))
<> (a) ((N (1 (1 (1 ())))))
<> (b) ((N (0 (1 (1 ())))))
<> (c) ((N (0 (1 ()))))
-- (add a b)
-- (sum (a (b (c ()))))
-- (str (div (mul a b) c))
-- (mul (nat>neg (nat 13)) (nat>neg (nat 7)))
(str (mul (int -133) (int 77))) (str (mul (int -133) (int 77)))