/Data/Circuit/

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