/src/Total/

• ../
• Encoded
• LogRel.idr
• NormalForm.idr
• Reduction.idr
• Syntax.idr
• Term.idr