/Data/Circuit/

• ../
• Convert.agda
• Gate.agda
• Merge.agda
• Typecheck.agda
• Value.agda