/Functor/Instance/Nat/

• ../
• Circ.agda
• Edge.agda
• Preimage.agda
• Pull.agda
• Push.agda
• System.agda