twc/ludus-scripts
17
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

peano refactor

Browse Source
This commit is contained in:
Matt Nish-Lapidus 2024-11-15 17:54:31 -05:00
parent d5b451b101
commit d642b6f80d
1 changed files with 24 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
peanomod.ld
View File

@ -4,6 +4,8 @@ pw!(5)
rt!(0.25) rt!(0.25)
fn y! fn y!
fn y_seq!
fn x_seq!
& comment for strange Peano variation & comment for strange Peano variation
& uncomment for standard Peano curve & uncomment for standard Peano curve
@ -35,55 +37,47 @@ fn f! {
fn x! { fn x! {
(0) -> nil (0) -> nil
(n) -> { (n) -> {
x!(dec(n)) x_seq!(n)
f!(dec(n))
y!(dec(n))
f!(dec(n))
x!(dec(n))
rt!(0.25) rt!(0.25)
f!(dec(n)) f!(dec(n))
rt!(0.25) rt!(0.25)
y!(dec(n)) y_seq!(n)
f!(dec(n))
x!(dec(n))
f!(dec(n))
y!(dec(n))
lt!(0.25) lt!(0.25)
f!(dec(n)) f!(dec(n))
lt!(0.25) lt!(0.25)
x!(dec(n)) x_seq!(n)
f!(dec(n))
y!(dec(n))
f!(dec(n))
x!(dec(n))
} }
} }
fn y! { fn y! {
(0) -> nil (0) -> nil
(n) -> { (n) -> {
y!(dec(n)) y_seq!(n)
f!(dec(n))
x!(dec(n))
f!(dec(n))
y!(dec(n))
lt!(0.25) lt!(0.25)
f!(dec(n)) f!(dec(n))
lt!(0.25) lt!(0.25)
x!(dec(n)) x_seq!(n)
f!(dec(n))
y!(dec(n))
f!(dec(n))
x!(dec(n))
rt!(0.25) rt!(0.25)
f!(dec(n)) f!(dec(n))
rt!(0.25) rt!(0.25)
y!(dec(n)) y_seq!(n)
f!(dec(n))
x!(dec(n))
f!(dec(n))
y!(dec(n))
} }
} }
fn x_seq! (n) -> {
x!(dec(n))
f!(dec(n))
y!(dec(n))
f!(dec(n))
x!(dec(n))
}
fn y_seq! (n) -> {
y!(dec(n))
f!(dec(n))
x!(dec(n))
f!(dec(n))
y!(dec(n))
}
x!(3) x!(3)