Improving Instantaneous Machines

[slibkind]

• Currently dependency is represented by a span representing the relationship between ports. The first foot represents the input ports and the second foot represents the output ports. Consider a different representation (as a sparse matrix or as a list of pairs). If keeping this then verify the size of the feet of the span.
• Improve the induced_dependency function
• allow for passing wires