Mastodon Feed: Post

Mastodon Feed

Boosted by cwebber@social.coop ("Christine Lemmer-Webber"):
roboguy@mathstodon.xyz ("David Young") wrote:

Before and after dragging a subexpression out

A block of code with a subexpression selected.
The selection from the other image is now outside the block. It's now contained in a sort of node, which is wired into the original block. It has two input wires, one for each free variable and one output wire. Each of the wires are labelled by the type.