/Data/WiringDiagram/

• ../
• Balanced.agda
• Core.agda
• Directed.agda
• Equalities.agda
• FinRel.agda