/NaturalTransformation/Instance/

• ../
• CircuitSemantics.agda
• EmptyList.agda
• EmptyMultiset.agda
• GateSemantics.agda
• ListAppend.agda
• MultisetAppend.agda