@aspiwack.bsky.social @pigworker A spreadsheet of numerically valued cells 🧾p can be computed by taking a spreadsheet of cells of formulae 🧾(🧾p->p) each of which can evaluate its value by reference to the entire spreadsheet of values. See http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet.html Or even https://www.semanticscholar.org/paper/Functional-pearl%3A-getting-a-quick-fix-on-comonads-Foner/d32b9d33edabc21a20eb5428c6d089e3d03016b9