/src/SOAS/

• ../
• Algebra.idr
• Context.idr
• Family.idr
• Strength.idr
• Structure.idr
• Syntax.idr
• Theory.idr
• Var.idr