/src/Core/

• ../
• Declarative.idr
• Environment.idr
• Environment
• Generic.idr
• Reducible.idr
• Reduction.idr
• Term.idr
• Term
• Thinning.idr