-- | The syntactic library
--
-- The basic functionality is provided by the module
-- "Language.Syntactic.Syntax".

module Language.Syntactic
    ( module Language.Syntactic.Syntax
    , module Language.Syntactic.Interpretation.Equality
    , module Language.Syntactic.Interpretation.Render
    , module Language.Syntactic.Interpretation.Evaluation
    , module Language.Syntactic.Constructs.Annotate
    ) where



import Language.Syntactic.Syntax
import Language.Syntactic.Interpretation.Equality
import Language.Syntactic.Interpretation.Render
import Language.Syntactic.Interpretation.Evaluation
import Language.Syntactic.Constructs.Annotate