/src/

• ../
• Encoded
• Term.idr
• Term
• Thinned.idr
• Thinning.idr
• Type.idr