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

replace prime (') with 1

This commit is contained in:
Erik Osheim 2024-04-12 13:41:39 -04:00
parent f166481ccb
commit 7c8b83a67f
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
demo.modal
View File

@ -31,9 +31,9 @@
<> ((decimal (1 (0 (0 (1 ())))))) (9) <> ((decimal (1 (0 (0 (1 ())))))) (9)
-- reverse ()-terminated list -- reverse ()-terminated list
<> (reverse ?x) (reverse' () ?x) <> (reverse ?x) (reverse1 () ?x)
<> (reverse' ?a ()) (?a) <> (reverse1 ?a ()) (?a)
<> (reverse' ?a (?h ?t)) (reverse' (?h ?a) ?t) <> (reverse1 ?a (?h ?t)) (reverse1 (?h ?a) ?t)
-- ( to integer ) -- ( to integer )
<> ((int ?*)) ((sum f (one) g reverse (?*))) <> ((int ?*)) ((sum f (one) g reverse (?*)))
@ -133,10 +133,10 @@
<> (dec (0 ())) (#err) <> (dec (0 ())) (#err)
<> (dec (1 ())) ((0 ())) <> (dec (1 ())) ((0 ()))
<> (dec (1 ?t)) ((0 ?t)) <> (dec (1 ?t)) ((0 ?t))
<> (dec (0 ?t)) (dec' (0 ?t)) <> (dec (0 ?t)) (dec1 (0 ?t))
<> (dec' (1 ())) (()) <> (dec1 (1 ())) (())
<> (dec' (1 ?t)) ((0 ?t)) <> (dec1 (1 ?t)) ((0 ?t))
<> (dec' (0 ?t)) ((1 dec' ?t)) <> (dec1 (0 ?t)) ((1 dec1 ?t))
-- ( inc ) -- ( inc )
<> ((inc ())) ((1 ())) <> ((inc ())) ((1 ()))
@ -181,12 +181,12 @@
<> ((divmod6 ?x ?y ?s ?m ?d #gt)) ((divmod4 ?x ?y ?s ?m ?d)) <> ((divmod6 ?x ?y ?s ?m ?d #gt)) ((divmod4 ?x ?y ?s ?m ?d))
-- ( floor divison ) -- ( floor divison )
<> ((div ?x ?y)) ((div' (divmod ?x ?y))) <> ((div ?x ?y)) ((div1 (divmod ?x ?y)))
<> ((div' (?q ?r))) (?q) <> ((div1 (?q ?r))) (?q)
-- ( remainder ) -- ( remainder )
<> ((mod ?x ?y)) ((mod' (divmod ?x ?y))) <> ((mod ?x ?y)) ((mod1 (divmod ?x ?y)))
<> ((mod' (?q ?r))) (?r) <> ((mod1 (?q ?r))) (?r)
-- (bstr (mul (int 2399) (int 3499))) -- (bstr (mul (int 2399) (int 3499)))
(str (int 1234567)) (str (int 12345))