/src/Soat/FirstOrder/

• ../
• Algebra.idr
• Signature.idr
• Term.idr