/src/Inky/

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