/src/

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