👀 Reading hidden code
using Pluto
┌ Info: │ │ Welcome to Pluto v0.14.8 🎈 │ Start a notebook server using: │ │ julia> Pluto.run() │ │ Have a look at the FAQ: │ https://github.com/fonsp/Pluto.jl/wiki └
:(z = x + y)
:(f(x::T) = begin #= /home/runner/work/disorganised-mess/disorganised-mess/order code with Pluto.jl#==#f42f8906-3c35-490d-bb90-28dcc914d983:3 =# 1 end)
:(struct T #= /home/runner/work/disorganised-mess/disorganised-mess/order code with Pluto.jl#==#f42f8906-3c35-490d-bb90-28dcc914d983:5 =# a #= /home/runner/work/disorganised-mess/disorganised-mess/order code with Pluto.jl#==#f42f8906-3c35-490d-bb90-28dcc914d983:6 =# b end)
:(y = x)
:(x = 324)
👀 Reading hidden code
codes = [
:(z = x + y)
:(f(x::T) = 1)
:(struct T
a
b
end)
:(y = x)
:(x = 324)
]
:(struct T #= /home/runner/work/disorganised-mess/disorganised-mess/order code with Pluto.jl#==#f42f8906-3c35-490d-bb90-28dcc914d983:5 =# a #= /home/runner/work/disorganised-mess/disorganised-mess/order code with Pluto.jl#==#f42f8906-3c35-490d-bb90-28dcc914d983:6 =# b end)
:(f(x::T) = begin #= /home/runner/work/disorganised-mess/disorganised-mess/order code with Pluto.jl#==#f42f8906-3c35-490d-bb90-28dcc914d983:3 =# 1 end)
:(x = 324)
:(y = x)
:(z = x + y)
👀 Reading hidden code
UUID("3cebeab0-0013-11f0-3c74-7d54b417cc73")
UUID("3cebeaba-0013-11f0-3492-6d65ccdacb59")
UUID("3cebeac4-0013-11f0-2cbb-3b73748444c8")
UUID("3cebeac4-0013-11f0-06b3-7d85872d58d5")
UUID("3cebeac4-0013-11f0-3f8a-4535f9c29325")
👀 Reading hidden code
👀 Reading hidden code
using UUIDs
UUID("3cebeab0-0013-11f0-3c74-7d54b417cc73")
UUID("3cebeab0-0013-11f0-3c74-7d54b417cc73")
"z = x + y"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeaba-0013-11f0-3492-6d65ccdacb59")
UUID("3cebeaba-0013-11f0-3492-6d65ccdacb59")
"f(x::T) = begin\n #= /home/ru" ⋯ 98 bytes ⋯ "28dcc914d983:3 =#\n 1\n end"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeac4-0013-11f0-06b3-7d85872d58d5")
UUID("3cebeac4-0013-11f0-06b3-7d85872d58d5")
"y = x"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeac4-0013-11f0-2cbb-3b73748444c8")
UUID("3cebeac4-0013-11f0-2cbb-3b73748444c8")
"struct T\n #= /home/runner/work/d" ⋯ 217 bytes ⋯ "d-bb90-28dcc914d983:6 =#\n b\nend"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeac4-0013-11f0-3f8a-4535f9c29325")
UUID("3cebeac4-0013-11f0-3f8a-4535f9c29325")
"x = 324"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeab0-0013-11f0-3c74-7d54b417cc73")
UUID("3cebeaba-0013-11f0-3492-6d65ccdacb59")
UUID("3cebeac4-0013-11f0-2cbb-3b73748444c8")
UUID("3cebeac4-0013-11f0-06b3-7d85872d58d5")
UUID("3cebeac4-0013-11f0-3f8a-4535f9c29325")
"/home/runner/.julia/pluto_notebooks/Remarkable conjecture.jl"
UUID("3d58cfb8-0013-11f0-3892-3930b6ba5354")
nothing
Channel{Any}(1024) (empty)
Channel{Nothing}(1) (1 item available)
nothing
"starting"
false
nb = Pluto.Notebook([
Pluto.Cell(;
code=string(c),
cell_id=i,
)
for (c,i) in zip(codes, ids)
])
👀 Reading hidden code
UUID("3cebeac4-0013-11f0-2cbb-3b73748444c8")
"struct T\n #= /home/runner/work/d" ⋯ 217 bytes ⋯ "d-bb90-28dcc914d983:6 =#\n b\nend"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeac4-0013-11f0-06b3-7d85872d58d5")
"y = x"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeac4-0013-11f0-3f8a-4535f9c29325")
"x = 324"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeab0-0013-11f0-3c74-7d54b417cc73")
"z = x + y"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeaba-0013-11f0-3492-6d65ccdacb59")
"f(x::T) = begin\n #= /home/ru" ⋯ 98 bytes ⋯ "28dcc914d983:3 =#\n 1\n end"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeac4-0013-11f0-2cbb-3b73748444c8")
"struct T\n #= /home/runner/work/d" ⋯ 217 bytes ⋯ "d-bb90-28dcc914d983:6 =#\n b\nend"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
"struct T\n #= /home/runner/work/d" ⋯ 217 bytes ⋯ "d-bb90-28dcc914d983:6 =#\n b\nend"
:($(Expr(:toplevel, :(#= /home/runner/.julia/pluto_notebooks/Remarkable conjecture.jl#==#3cebeac4-0013-11f0-2cbb-3b73748444c8:1 =#), :(struct T #= /home/runner/.julia/pluto_notebooks/Remarkable conjecture.jl#==#3cebeac4-0013-11f0-2cbb-3b73748444c8:3 =# a #= /home/runner/.julia/pluto_notebooks/Remarkable conjecture.jl#==#3cebeac4-0013-11f0-2cbb-3b73748444c8:5 =# b end))))
false
UUID("3cebeac4-0013-11f0-06b3-7d85872d58d5")
"y = x"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
"y = x"
:($(Expr(:toplevel, :(#= /home/runner/.julia/pluto_notebooks/Remarkable conjecture.jl#==#3cebeac4-0013-11f0-06b3-7d85872d58d5:1 =#), :(y = x))))
true
UUID("3cebeac4-0013-11f0-3f8a-4535f9c29325")
"x = 324"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
"x = 324"
:($(Expr(:toplevel, :(#= /home/runner/.julia/pluto_notebooks/Remarkable conjecture.jl#==#3cebeac4-0013-11f0-3f8a-4535f9c29325:1 =#), :(x = 324))))
true
UUID("3cebeab0-0013-11f0-3c74-7d54b417cc73")
"z = x + y"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
"z = x + y"
:($(Expr(:toplevel, :(#= /home/runner/.julia/pluto_notebooks/Remarkable conjecture.jl#==#3cebeab0-0013-11f0-3c74-7d54b417cc73:1 =#), :(z = x + y))))
true
UUID("3cebeaba-0013-11f0-3492-6d65ccdacb59")
"f(x::T) = begin\n #= /home/ru" ⋯ 98 bytes ⋯ "28dcc914d983:3 =#\n 1\n end"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
"f(x::T) = begin\n #= /home/ru" ⋯ 98 bytes ⋯ "28dcc914d983:3 =#\n 1\n end"
:($(Expr(:toplevel, :(#= /home/runner/.julia/pluto_notebooks/Remarkable conjecture.jl#==#3cebeaba-0013-11f0-3492-6d65ccdacb59:1 =#), :(f(x::T) = begin #= /home/runner/.julia/pluto_notebooks/Remarkable conjecture.jl#==#3cebeaba-0013-11f0-3492-6d65ccdacb59:1 =# #= /home/runner/.julia/pluto_notebooks/Remarkable conjecture.jl#==#3cebeaba-0013-11f0-3492-6d65ccdacb59:3 =# 1 end))))
false
UUID("3cebeac4-0013-11f0-2cbb-3b73748444c8")
"struct T\n #= /home/runner/work/d" ⋯ 217 bytes ⋯ "d-bb90-28dcc914d983:6 =#\n b\nend"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeaba-0013-11f0-3492-6d65ccdacb59")
"f(x::T) = begin\n #= /home/ru" ⋯ 98 bytes ⋯ "28dcc914d983:3 =#\n 1\n end"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeac4-0013-11f0-3f8a-4535f9c29325")
"x = 324"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeac4-0013-11f0-06b3-7d85872d58d5")
"y = x"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
UUID("3cebeab0-0013-11f0-3c74-7d54b417cc73")
"z = x + y"
false
nothing
MIME type text/plain
nothing
0.0
false
false
false
false
nothing
99
false
false
order = begin
nb.topology = Pluto.updated_topology(nb.topology, nb, nb.cells)
Pluto.topological_order(nb)
end
👀 Reading hidden code
UUID("3cebeac4-0013-11f0-2cbb-3b73748444c8")
UUID("3cebeaba-0013-11f0-3492-6d65ccdacb59")
UUID("3cebeac4-0013-11f0-3f8a-4535f9c29325")
UUID("3cebeac4-0013-11f0-06b3-7d85872d58d5")
UUID("3cebeab0-0013-11f0-3c74-7d54b417cc73")
ordered_ids = [c.cell_id for c in collect(order)]
👀 Reading hidden code
3
2
5
4
1
permutation = [ findfirst(isequal(i), ids) for i in ordered_ids]
👀 Reading hidden code
👀 Reading hidden code