/Functor/Instance/Nat/

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