[discarded1023]

I wonder how this relates to the old combinator-based approaches of Peter Henderson [1] and the logic-programming version [2]. Guy Cousineau also had a go with "Functional programming and geometry" in the late 1990s. I guess we'd say these are capable of describing corecursive pictures now.

I always felt this stuff would make a better foundation for web layouts than CSS.

[1] https://dl.acm.org/doi/pdf/10.1145/800068.802148

[2] Logic programming, graphics and infinite terms P. R. Eggert, K. P. Chow Department of Computer Science University of California, Santa Barbara UCSB DoCS TR 83-02 June 1983.