Modules

• Folly.Clause
• Folly.Formula
• Folly.Lexer
• Folly.Parser
• Folly.Resolution
• Folly.Theorem
• Folly.Unification
• Folly.Utils