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

improve example

This commit is contained in:
~d6 2024-04-13 23:57:52 -04:00
parent 33b95b1768
commit 2642a9e361
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
arith.modal
View File

@ -337,4 +337,4 @@
-- (str (div (mul a b) c)) -- (str (div (mul a b) c))
-- (mul (nat>neg (nat 13)) (nat>neg (nat 7))) -- (mul (nat>neg (nat 13)) (nat>neg (nat 7)))
(str (mul (int 13) (int 7))) (str (mul (int -133) (int 77)))