/Data/Circuit/

• ../
• Convert.agda
• Gate.agda
• Typecheck.agda