/src/Obs/

• ../
• Main.idr
• Parser.idr
• Sort.idr
• Syntax.idr
• Term.idr