/Data/WiringDiagram/Looped/

• ../
• Core.agda
• Monoidal.agda