-
@ jb55
2025-05-19 01:26:23this is melting my brain. ghci> mapM_ printEval $ parseExpr "x. y. z. x = (y, z); x = (z, 2); z" { x = ⟨y, z⟩, y = z, z = 2 } ↳ 2 can you see it? this program calculus bring equational reasoning to your variables in your code. bizarre but cool. nostr:note13txerpap9lj430e2v84pl5tdjsggg97y8ppauct0neqdx0ezgfhsx62kjd