-- | The syntactic library---- The basic functionality is provided by the module-- "Language.Syntactic.Syntax".moduleLanguage.Syntactic(moduleLanguage.Syntactic.Syntax,moduleLanguage.Syntactic.Interpretation.Equality,moduleLanguage.Syntactic.Interpretation.Render,moduleLanguage.Syntactic.Interpretation.Evaluation)whereimportLanguage.Syntactic.SyntaximportLanguage.Syntactic.Interpretation.EqualityimportLanguage.Syntactic.Interpretation.RenderimportLanguage.Syntactic.Interpretation.Evaluation