-- | The basic parts of the syntactic library

module Language.Syntactic
    ( module Language.Syntactic.Syntax
    , module Language.Syntactic.Traversal
    , module Language.Syntactic.Constraint
    , module Language.Syntactic.Sugar
    , module Language.Syntactic.Interpretation.Equality
    , module Language.Syntactic.Interpretation.Render
    , module Language.Syntactic.Interpretation.Evaluation
    , module Language.Syntactic.Interpretation.Semantics
    , module Data.Constraint
    ) where



import Language.Syntactic.Syntax
import Language.Syntactic.Traversal
import Language.Syntactic.Constraint
import Language.Syntactic.Sugar
import Language.Syntactic.Interpretation.Equality
import Language.Syntactic.Interpretation.Render
import Language.Syntactic.Interpretation.Evaluation
import Language.Syntactic.Interpretation.Semantics

import Data.Constraint (Dict (..))