/src/Core/Term/

• ../
• Substitution.idr
• Thinned.idr