/src/

• ../
• Level0.idr
• NormalForm.idr
• Term.idr
• Thinning.idr