/src/Data/

• ../
• BinOp.agda
• List
• Type.agda
• Type
• Util.agda