/src/Soat/FirstOrder/

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