/src/Obs/

• ../
• Abstract.idr
• Main.idr
• NormalForm.idr
• Parser.idr
• Sort.idr
• Substitution.idr
• Syntax.idr
• Term.idr
• Typing.idr