/src/

• ../
• Term.idr
• Thinning.idr