/src/Inky/Term/

• ../
• Checks.idr
• Compile.idr
• Desugar.idr
• Parser.idr
• Pretty.idr
• Pretty
• Recompute.idr
• Substitution.idr