/src/Soat/SecondOrder/

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