During my research residency, I spent some time exploring relational layout. My overarching goal was to understand propagation and relational layout better.

Propagation (towards more declarative computation paths)

dfs vis link

Infinite layout (towards a geometric understanding of program tracing, for one thing)

graph edit link a ↺ in a specification leads to an ∞ in a trace

chats with Lu and Josh

With time?

Focused on the sub-problems of finite layout for now (Algae).

Prior art

screenpond - recursive drawing - Patrick's Parabox

Recursive Structures

With time?

Prior art