/src/Core/

• ../
• Context.idr
• Declarative.idr
• Name.idr
• Reduction.idr
• Term.idr
• Term
• Thinning.idr
• Var.idr